Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 106483

Classical Logic Models

Pavičić, Mladen.
Classical Logic Models, 2000. (ostalo).

CROSBI ID: 106483 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Classical Logic Models

Autori
Pavičić, Mladen.

Izvornik
Invited talk at the Institute for Formal Logic, University of Vienna, Vienna, Austria

Vrsta, podvrsta
Ostale vrste radova, ostalo

Godina
2000

Ključne riječi
classical logic; non-distributive lattice theory

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

Izvorni jezik
Engleski

Znanstvena područja
Fizika



POVEZANOST RADA

Projekti:
082006

Ustanove:
Građevinski fakultet, Zagreb

Profili:

Avatar Url Mladen Pavičić (autor)

Citiraj ovu publikaciju:

Pavičić, Mladen.
Classical Logic Models, 2000. (ostalo).
Pavičić, M. (2000) Classical Logic Models. Invited talk at the Institute for Formal Logic, University of Vienna, Vienna, Austria. Ostalo.
@unknown{unknown, author = {Pavi\v{c}i\'{c}, Mladen.}, year = {2000}, keywords = {classical logic, non-distributive lattice theory}, title = {Classical Logic Models}, keyword = {classical logic, non-distributive lattice theory} }
@unknown{unknown, author = {Pavi\v{c}i\'{c}, Mladen.}, year = {2000}, keywords = {classical logic, non-distributive lattice theory}, title = {Classical Logic Models}, keyword = {classical logic, non-distributive lattice theory} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.