Login / Signup
An axiom system for three-valued Łukasiewicz propositional calculus.
Luisa Iturrioz
Published in:
Notre Dame J. Formal Log. (1977)
Keyphrases
</>
propositional calculus
inference rules
nonmonotonic logics
modal logic
first order logic
temporal logic
propositional logic
database
learning algorithm
high level
cooperative
pattern recognition
training set
dynamical systems
default logic
nonmonotonic reasoning