Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.
José M. MéndezFrancisco SaltoPublished in: Notre Dame J. Formal Log. (1995)
Keyphrases
- linear logic
- theorem prover
- logic programming
- fuzzy set theory
- inference rules
- interval valued
- belief change
- logic programs
- classical logic
- fuzzy numbers
- modal logic
- containment of conjunctive queries
- natural deduction
- fuzzy information
- horn clauses
- deductive databases
- databases
- datalog programs
- artificial intelligence
- database
- logical framework
- theorem proving
- partially ordered
- belief revision
- stable models
- fuzzy sets
- knowledge representation
- predicate logic
- truth values
- natural language
- cut elimination