Axiomatizing Monoidal Logic: A Correction.
Siegfried GottwaldÀngel García-CerdañaFélix BouPublished in: J. Multiple Valued Log. Soft Comput. (2003)
Keyphrases
- modal logic
- equational theories
- logic programming
- predicate logic
- sound and complete axiomatization
- deontic logic
- probabilistic logic
- classical logic
- real time
- digital circuits
- formal theory
- defeasible logic
- asynchronous circuits
- epistemic logic
- abductive reasoning
- error analysis
- expert systems
- knowledge base
- learning algorithm
- machine learning