Non-deterministic Connectives in Propositional Godel Logic.
Ori LahavArnon AvronPublished in: EUSFLAT Conf. (2011)
Keyphrases
- sound and complete axiomatization
- multi valued
- classical logic
- truth values
- probabilistic logic
- inference rules
- propositional logic
- horn clauses
- proof procedure
- general logic programs
- modal logic
- default logic
- first order logic
- autoepistemic logic
- logic programming
- valued logic
- classical first order logic
- sequent calculus
- deductive reasoning
- decomposable negation normal form
- logical theories
- satisfiability testing
- propositional variables
- predicate calculus
- dynamic logic
- asynchronous circuits
- propositional theories
- conjunctive normal form
- multi agent systems
- coalition logic
- nonmonotonic logics
- automated reasoning
- logic programs