Two Connections Between Linear Logic and Lukasiewicz Logics.
Agata CiabattoniDuccio LuchiPublished in: Kurt Gödel Colloquium (1997)
Keyphrases
- linear logic
- modal logic
- proof theoretic
- intuitionistic logic
- inference rules
- sequent calculus
- truth values
- fixed point
- cut elimination
- logical framework
- logic programming
- classical logic
- desirable properties
- decision procedures
- temporal logic
- expressive power
- situation calculus
- proof search
- default logic
- partial order
- state space