Keyphrases
Paraconsistent Logic
59%
Gentzen
58%
Non-deterministic Matrices
53%
Calculus
52%
Connectives
44%
Type Systems
38%
Cut-free
35%
Non-deterministic Semantics
33%
Non-deterministic
33%
Paraconsistent
32%
Proof System
32%
Classical Logic
31%
First-order
29%
Set Theory
29%
Canonical System
24%
Cut Elimination
23%
Bilattice
22%
Multi-valued
21%
Relevance Logic
18%
Paraconsistency
17%
Strong Cut
16%
Three-valued Logic
16%
Truth Value
15%
Belnap
15%
First-order Logic
14%
Logic-based
14%
Inconsistency
14%
Sequent Calculus
13%
Cut-admissibility
13%
Inference Rules
13%
Linear Logic
12%
Constructibility
12%
C-system
12%
Coherence Criterion
11%
Simple Proof
11%
Logic Rules
10%
Knowledge Base
10%
Sequent System
10%
Logical Frameworks
10%
Consequence Relation
10%
Structural Rules
10%
Logical Systems
9%
Large Families
9%
Expressive Power
9%
Finite-valued
9%
Hermann Weyl
9%
Finite Characteristic
8%
Decision Procedure
8%
Proof Theory
8%
Semantic Framework
8%
Mathematics
Matrix (Mathematics)
100%
Calculus
67%
Classical Logic
45%
Type System
45%
Canonical System
31%
Admissibility
21%
Truth Value
18%
Relevance Logic
15%
Decision Procedure
14%
Single Conclusion
13%
Expressive Power
13%
Desirable Property
12%
Consequence Relation
12%
Mathematics
10%
Intuitionistic Logic
10%
Linear Logic
10%
Logical System
9%
Formalization
9%
Foundation of Mathematics
8%
Characteristic Matrix
8%
Multiplicative
8%
Standard Axiom
7%
Maximality
7%
Knowledge Base
7%
Nonempty Set
6%
Transitive Closure
6%
Strong Form
6%
Circle
6%
Decidability
6%
Boolean Algebras
6%
Applicability of Mathematics
6%
Lozinskii
6%
Mascheroni
6%
Extensionality
6%
Distinct Point
6%
Finite Set
6%
Computer Science
Deterministic Semantics
35%
Type Systems
29%
Proof System
27%
Set Theory
19%
Syntactics
18%
Relevance Logic
18%
Structural Rule
15%
Decision Procedure
13%
Intuitionistic Logic
13%
Natural Deduction
12%
Valued Semantics
10%
Knowledge Base
10%
Inference Rule
9%
Computability
9%
Logical Framework
7%
Sequent Calculus
6%
Soundness
6%
Logical Consequence
6%
Parallel Computation
6%
Deduction Theorem
6%
Parallelism
6%
Transitive Closure
6%
Information Source
6%
Unified Framework
5%
Database Theory
5%
