George Tourlakis
9 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Modal Extension of First Order Classical Logic, Part II Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 1 - 10ROK: 2004CZYSTY TEKSTBIBTEX
-
A New Foundation of a Complete Boolean Equational Logic Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 13 - 29ROK: 2009CZYSTY TEKSTBIBTEX
-
A basic formal equational predicate logic - Part I Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2 / s. 43 - 56ROK: 2000CZYSTY TEKSTBIBTEX
-
A basic formal equational predicate logic : part II Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 75 - 87ROK: 2000CZYSTY TEKSTBIBTEX
-
A Proof Theoretic Tool for First-Order Modal Logic Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4 / s. 93 - 110ROK: 2013CZYSTY TEKSTBIBTEX
-
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 131 - 148ROK: 2015CZYSTY TEKSTBIBTEX
-
A Modal Extension of First Order Classical Logic, Part I Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 165 - 177ROK: 2003CZYSTY TEKSTBIBTEX
-
Pure Iteration and Substitution as the Basis of Computability Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / s. 203 - 213ROK: 2011CZYSTY TEKSTBIBTEX
-
An Arithmetically Complete Predicate Modal Logic Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 4 / s. 513 - 541ROK: 2021CZYSTY TEKSTBIBTEX
