Naslov
Classical Logic Models

Autori
Pavičić, Mladen

Izvornik
Invited talk given on November 17, 2000 at the Institute for Formal Logic, University of Vienna, AT

Vrsta, podvrsta
Ostale vrste radova, ostalo

Godina
2000

Ključne riječi
propositional classical logic; non-categorical model; Boolean algebra

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Fizika

POVEZANOST RADA