Implicit definability of truth constants in Łukasiewicz logic.
Zuzana HanikováPublished in: CoRR (2018)
Keyphrases
- truth values
- finite model theory
- logic programming
- modal logic
- set theory
- fixed point
- multi valued
- automated reasoning
- neural network
- predicate logic
- classical logic
- data sets
- inference rules
- asynchronous circuits
- propositional logic
- database theory
- query language
- information systems
- information retrieval
- abductive reasoning
- valued logic
- monadic second order logic
- sound and complete axiomatization