Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.
Norihiro KamideYoni ZoharPublished in: Stud Logica (2020)
Keyphrases
- valued logic
- sequent calculus
- cut elimination
- classical logic
- inference rules
- first order logic
- truth values
- linear logic
- modal logic
- propositional logic
- natural deduction
- fuzzy logic
- logic programming
- wide class
- fuzzy sets
- expressive power
- theorem prover
- multi valued
- linear time temporal logic
- theorem proving
- logic programs
- sufficient conditions
- automated reasoning
- datalog programs
- neural network
- temporal logic
- horn clauses
- logical framework
- inductive logic programming
- knowledge representation
- machine learning
- default logic
- fixed point
- programming language
- high level