Two proofs of the algebraic completeness theorem for multilattice logic.
Oleg GrigorievYaroslav I. PetrukhinPublished in: J. Appl. Non Class. Logics (2019)
Keyphrases
- intuitionistic logic
- natural deduction
- cut elimination
- interactive theorem proving
- formal proofs
- equational theories
- computer algebra
- theorem prover
- linear logic
- sequent calculus
- classical logic
- proof search
- automated theorem provers
- algebraic structure
- defeasible logic
- modal logic
- automated theorem proving
- real time
- proof theoretic
- theorem proving
- database
- query language
- mathematical proofs
- automated reasoning
- computer programs
- expressive power
- von neumann
- logic programming
- data sets
- linear algebra