Formulas of Lukasiewicz's Logic Represented by Hyperplanes.

Antonio Di Nola Ada Lettieri

Published in: IFSA (2003)

Keyphrases

modal logic
truth values
modal operators
predicate calculus
data sets
inference rules
classical logic
quantifier free
multi valued
automated reasoning
hyperplane
data model
horn clauses
computational properties
defeasible logic
asynchronous circuits
proof theory
logical formulas
support vector