Proof Theories for Semilattice Logics.
Steve GiambroneAlasdair UrquhartPublished in: Math. Log. Q. (1987)
Keyphrases
- classical first order logic
- proof theory
- first order logic
- logic programming
- proof theoretic
- higher order logic
- expressive power
- dynamic logic
- decision procedures
- theorem prover
- sequent calculi
- modal logic
- linear logic
- default reasoning
- conditional logic
- modal operators
- theoretical framework
- learning algorithm
- cognitive psychology
- inference rules
- natural deduction
- fuzzy sets
- complete axiomatization
- mathematical proofs
- genetic algorithm
- neural network