Further Results on Proof Theories For Semilattice Logics.
Robert K. MeyerErrol P. MartinSteve GiambroneAlasdair UrquhartPublished in: Math. Log. Q. (1988)
Keyphrases
- classical first order logic
- proof theory
- first order logic
- logic programming
- proof theoretic
- dynamic logic
- expressive power
- modal logic
- theorem proving
- decision procedures
- sequent calculi
- higher order logic
- theorem prover
- classical logic
- linear logic
- neural network
- inference rules
- theoretical framework
- cognitive psychology
- causal reasoning
- nonmonotonic logics
- epistemic logic
- modal operators
- probability theory
- default logic
- higher order
- artificial intelligence