Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.
Vincenzo MarraLuca SpadaPublished in: Ann. Pure Appl. Log. (2013)
Keyphrases
- relation algebra
- modal logic
- logic programming
- boolean algebra
- automated theorem proving
- higher order
- theorem proving
- computational properties
- proof theory
- classical logic
- multi valued
- asynchronous circuits
- motion vectors
- linear programming
- active rules
- logical framework
- defeasible logic
- formal theory
- word order
- theorem prover
- formal logic
- duality gap
- equational theories