A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.
Andrzej IndrzejczakYaroslav I. PetrukhinPublished in: CADE (2023)
Keyphrases
- nonmonotonic logics
- inference rules
- valued semantics
- expressive power
- sequent calculus
- epistemic logic
- modal logic
- formal analysis
- propositional logic
- proof theoretic
- legal reasoning
- natural deduction
- computational properties
- propositional calculus
- formal language
- default logic
- tableau calculus
- artificial intelligence
- computer algebra
- proof theory
- relational calculus
- case study