Login / Signup
On White's Expansion of Lukasiewicz Logic.
Petr Hájek
Published in:
J. Log. Comput. (2010)
Keyphrases
</>
modal logic
truth values
classical logic
inference rules
temporal logic
logic programming
computational properties
deontic logic
automated reasoning
defeasible logic
epistemic logic
asynchronous circuits
predicate logic