Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.
Aldo Figallo OrellanoMiguel Pérez-GasparJuan Manuel Ramírez-ContrerasPublished in: Stud Logica (2022)
Keyphrases
- modal logic
- inference rules
- distributive lattices
- nonmonotonic logics
- epistemic logic
- classical logic
- logic programming
- temporal logic
- decision procedures
- valued semantics
- truth values
- propositional variables
- nonmonotonic reasoning
- inconsistent knowledge
- conditional logic
- default logic
- valued logic
- expressive power
- theorem prover
- modal operators
- situation calculus
- relation algebra
- coalition logic
- first order logic
- temporal reasoning
- logical framework
- boolean algebra
- consistent query answering
- topological spaces
- logic programs
- data sets
- clifford algebra
- artificial intelligence