Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL.
David FuenmayorPublished in: CoRR (2021)
Keyphrases
- theorem prover
- inference rules
- higher order logic
- natural deduction
- proof procedures
- intuitionistic logic
- formal semantics
- epistemic logic
- valued semantics
- first order logic
- modal logic
- logical framework
- logic programming
- theorem proving
- conditional logic
- automated reasoning
- nonmonotonic logics
- valued logic
- truth values
- expressive power
- classical logic
- proof theory
- propositional dynamic logic
- higher order
- sequent calculus
- consistent query answering
- proof theoretic
- logic programs
- topological spaces
- default logic
- operational semantics
- computational properties
- default theories
- formal methods
- propositional logic
- knowledge base