A Proof System for Classical Logic.
Witold A. PogorzelskiPiotr WojtylakPublished in: Stud Logica (2005)
Keyphrases
- classical logic
- modal logic
- intuitionistic logic
- logic programming
- temporal logic
- revision operators
- inference rules
- possibilistic logic
- default logic
- autoepistemic logic
- commonsense reasoning
- valued logic
- sequent calculus
- rationality postulates
- neural network
- linear logic
- model checking
- model checker
- incomplete information
- general logic programs
- query language