A Non-finitary Sentential Logic that is Elementarily Algebraizable.
James G. RafteryPublished in: J. Log. Comput. (2010)
Keyphrases
- finite state
- predicate logic
- modal logic
- defeasible logic
- neural network
- asynchronous circuits
- classical logic
- automated reasoning
- logic programming
- expressive power
- decision trees
- logical framework
- formal language
- sound and complete axiomatization
- state space
- search algorithm
- multi valued
- website
- information systems
- artificial intelligence
- epistemic logic
- modal operators
- database
- proof theory