Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic.

Jaime Díaz José Luis Carballido Mauricio Osorio Claudia Zepeda

Published in: LANMR (2018)

Keyphrases

truth values
classical logic
valued logic
modal logic
automated reasoning
fuzzy sets
databases
machine learning
general purpose
inference rules
multi valued
fixpoint
database
artificial intelligence
pattern recognition
logic programming