Non-Finite-Axiomatizability Results in Algebraic Logic.
Balázs BiróPublished in: J. Symb. Log. (1992)
Keyphrases
- algebraic structure
- linear temporal logic
- multi valued
- logic programming
- computer algebra
- logical framework
- classical logic
- sound and complete axiomatization
- mathematical theory
- predicate logic
- expert systems
- deontic logic
- epistemic logic
- digital circuits
- proof theory
- finite automata
- automated reasoning
- algebraic geometry
- neural network