Výsledky vyhledávání - "KALMAR'S METHOD"

Generalization of Kalmar’s method for quasi-matrix logic

Autor: Ivlev, Yu

Publikováno v: Логические исследования.

Quasi-matrix logic is based on the generalization of the principles of classical logic: bivalency (a proposition take values from the domain {t (truth); f (falsity)}); consistency (a proposition can not take on both values); excluded middle (a propos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2806::c937f6be22a23dc586caeca822de2383
http://cyberleninka.ru/article_covers/15558268.png

Zobrazit plný text záznamu

Generalization of Kalmar’s method for quasi-matrix logic

Publikováno v: Logical Investigations. 19:281-307

Quasi-matrix logic is based on the generalization of the principles of classical logic: bivalency (a proposition take values from the domain $\{t (truth); f (falsity)\}$); consistency (a proposition can not take on both values); excluded middle (a pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b199c066bcd78dceb72eb794d0e08471
https://doi.org/10.21146/2074-1472-2013-19-0-281-307

Zobrazit plný text záznamu

Akademický článek

Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.

Autor: Coniglio, Marcelo E¹ (AUTHOR) meconiglio@gmail.com, Fariñasdelcerro, Luis² (AUTHOR), Peron, Newton Marques³ (AUTHOR)

Publikováno v: Logic Journal of the IGPL. Oct2022, Vol. 30 Issue 5, p695-727. 33p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Akademický článek

An axiomatic approach to CG^′3 logic.

Autor: Pérez-Gaspar, Miguel¹ (AUTHOR), Hernández-Tello, Alejandro² (AUTHOR) alheran@gmail.com, Ramírez, José Arrazola³ (AUTHOR), Galindo, Mauricio Osorio⁴ (AUTHOR)

Publikováno v: Logic Journal of the IGPL. Dec2020, Vol. 28 Issue 6, p1218-1232. 15p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Akademický článek

Modal logic with non-deterministic semantics: Part I—Propositional case.

Autor: Coniglio, Marcelo E¹ (AUTHOR) coniglio@cle.unicamp.br, Luis, Fariñas Del Cerro² (AUTHOR), Newton, Marques Peron³ (AUTHOR)

Publikováno v: Logic Journal of the IGPL. Jun2020, Vol. 28 Issue 3, p281-315. 35p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Elektronická kniha

Studies in the History of Mathematical Logic

Autor: Stanislaw Surma

This volume contains seventeen essays in the history of mathematical logic. The first nine are concerned with the completeness of various logical calculi. The second five essays deal with the completeness of classical first-order predicate logic. One