Back to Results
First PageMeta Content
Deduction / Functions and mappings / Symbol / Entailment / Substitution / Function / Linear temporal logic / Orbifold / Logic / Mathematics / Propositional calculus


Sequent-Based Argumentation for Normative Reasoning Christian Straßer Ofer Arieli March 13, 2014
Add to Reading List

Document Date: 2014-03-13 06:52:59

Open Document

File Size: 224,31 KB

Share Result on Facebook

City

Sequent / /

Company

Let us / NEC / /

IndustryTerm

elegant tool / /

OperatingSystem

Sequent / /

Organization

U.S. Securities and Exchange Commission / /

Person

Van der Torre / /

Position

MP / ¬O¬φ MP / /

Product

M-16 / /

SocialTag