Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.
Luís PintoTarmo UustaluPublished in: TABLEAUX (2009)
Keyphrases
- propositional logic
- model construction
- linear logic
- proof search
- sequent calculus
- belief revision
- first order logic
- cut elimination
- logical framework
- inference rules
- influence diagrams
- fixed point
- logic programming
- desirable properties
- proof procedure
- pose estimation
- machine learning
- artificial intelligence
- theorem prover
- deductive databases
- decision problems
- propositional satisfiability
- decision making