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