On translating conditional statements into mathematical logic.
Kamaledin Ghiasi-ShiraziPublished in: CoRR (2022)
Keyphrases
- computer algebra
- truth values
- conditional logic
- cp nets
- classical logic
- proof theory
- modal logic
- nonmonotonic inference
- multi valued
- neural network
- digital circuits
- mathematical theory
- computational properties
- databases
- automated reasoning
- mathematical expressions
- logic programming
- probabilistic logic
- propositional logic
- asynchronous circuits
- random field model
- natural language
- sound and complete axiomatization