The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.

Roberto Cignoli

Published in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)

Keyphrases

modal logic
truth values
inference rules
multi valued
classical logic
temporal logic
historical data
fixpoint
nonmonotonic logics
epistemic logic
temporal reasoning
default logic
logical framework
data sets
situation calculus