izvor podataka: crosbi
✓
Classical Logic Models (CROSBI ID 753257)
Druge vrste radova | ostalo
Pavičić, Mladen.
Classical Logic Models // Invited talk at the Institute for Formal Logic, University of Vienna, Vienna, Austria. 2000.
Podaci o odgovornosti
Pavičić, Mladen.
engleski
Classical Logic Models
It has been show that classical logic can be given a non-numerical valuation which does not allow the Boolean algebra as its lattice model. Soundness and completeness has been proved of classical logic with the help of a non-distributive lattice.
classical logic; non-distributive lattice theory
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Invited talk at the Institute for Formal Logic, University of Vienna, Vienna, Austria
2000.
nije evidentirano
objavljeno
Povezanost rada
Povezane osobe
Povezane ustanove