Implicit definability of truth constants in Łukasiewicz logic.
Zuzana HanikováPublished in: Soft Comput. (2019)
Keyphrases
- truth values
- finite model theory
- fixed point
- modal logic
- classical logic
- multi valued
- asynchronous circuits
- logic programming
- database theory
- digital circuits
- predicate logic
- valued logic
- proof theory
- propositional logic
- linear logic
- database
- probabilistic logic
- automated reasoning
- probability theory
- inference rules
- first order logic
- social networks