Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics.

Thomas Macaulay Ferguson

Published in: ISMVL (2014)

Keyphrases

truth values
modal logic
inference rules
default logic
fixpoint
multi valued
default theories
data sets
logic programs
deductive databases
classical logic
epistemic logic
database
programming language
finite state machines