Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic.
Alexander V. GheorghiuDavid J. PymPublished in: CoRR (2022)
Keyphrases
- propositional logic
- semantics for logic programs
- minimal models
- first order logic
- answer set semantics
- possibilistic logic
- logic programming
- belief revision
- truth maintenance systems
- quantified boolean formulae
- fixed point semantics
- stable models
- theorem prover
- lattice theory
- valued logic
- linear logic
- belief change
- logic programs
- formal semantics
- satisfiability testing
- open world
- fuzzy set theory
- normal logic programs
- propositional satisfiability
- classical logic
- logical framework
- artificial intelligence
- horn logic
- proof procedure
- horn clauses
- machine learning