Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.
Juan Carlos Agudelo AgudeloPublished in: J. Appl. Non Class. Logics (2024)
Keyphrases
- intuitionistic logic
- proof theoretic
- linear logic
- classical logic
- proof theory
- model theoretic
- default reasoning
- natural deduction
- constraint logic programming
- logic programming
- normal form
- nonmonotonic reasoning
- fixpoint
- argumentation frameworks
- formal semantics
- artificial intelligence
- databases
- automated reasoning