Constructive Logic with Strong Negation is a Substructural Logic. I.
Matthew SpinksRobert VeroffPublished in: Stud Logica (2008)
Keyphrases
- logic programming
- propositional calculus
- predicate logic
- defeasible logic
- logic programs
- truth values
- multi valued
- classical logic
- asynchronous circuits
- digital circuits
- modal logic
- set theory
- automated reasoning
- nonmonotonic reasoning
- epistemic logic
- neural network
- logical framework
- nonmonotonic logics
- programming language
- information systems