An Analytic Calculus for Quantified Propositional Gödel Logic.
Matthias BaazChristian G. FermüllerHelmut VeithPublished in: TABLEAUX (2000)
Keyphrases
- proof procedure
- sound and complete axiomatization
- propositional logic
- theorem proving
- multi valued
- first order logic
- natural deduction
- computer algebra
- predicate calculus
- sequent calculus
- formal language
- deductive reasoning
- valued logic
- cut elimination
- probabilistic logic
- classical first order logic
- proof search
- horn clauses
- autoepistemic logic
- propositional theories
- general logic programs
- algebraic structure
- automated theorem proving
- predicate logic
- computational properties
- classical logic
- modal logic
- proof theory
- model theoretic
- transition systems
- inference rules
- propositional variables
- logic programming
- dynamic logic
- belief revision
- relation algebra
- satisfiability testing
- logical theories
- default logic
- abductive reasoning
- truth maintenance systems
- data model