Classical Logic Models (CROSBI ID 751667)
Druge vrste radova | ostalo
Podaci o odgovornosti
Pavičić, Mladen
engleski
Classical Logic Models
A well-known ortholattice model of classical propositional logic is the Boolean algebra (a distributive ortholattice, which is therefore orthomodular as well). In this talk I will show that there is also another ortholattice model of classical propositional logic which is neither distributive nor orthomodular so that classical propositional logic turns out to be non-categorical. I give the soundness and completeness proofs for the new model and compare them with those for the Boolean algebra.
propositional classical logic; non-categorical model; Boolean algebra
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Invited talk given on November 17, 2000 at the Institute for Formal Logic, University of Vienna, AT
2000.
nije evidentirano
objavljeno