An elementary proof of the completeness of the Lukasiewicz axioms.
Michal BoturJan PasekaPublished in: TACL (2013)
Keyphrases
- complete axiomatization
- modal logic
- theorem prover
- knowledge base
- first order logic
- decision making
- set theory
- theorem proving
- information retrieval
- mathematical proofs
- school children
- proof search
- real time
- partial order
- geometry theorem proving
- inference rules
- face recognition
- three dimensional
- case study
- search engine
- artificial intelligence
- neural network