Many-valued logics inside λ-calculus: Church's rescue of Russell with B{\"}ohm trees.
Fer-Jan de VriesPublished in: CoRR (2018)
Keyphrases
- modal logic
- truth values
- sequent calculus
- decision trees
- expressive power
- temporal logic
- classical logic
- tree models
- relational calculus
- inference rules
- epistemic logic
- tableau calculus
- propositional calculus
- cut elimination
- computer algebra
- conditional logic
- tree structure
- tree construction
- computational properties
- tree structures
- intuitionistic fuzzy sets
- concept lattice
- logic programming
- logic programs
- data structure
- knowledge base
- data mining