Wyniki
-
A basic formal equational predicate logic - Part I
George Tourlakis
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 43-56 -
A basic formal equational predicate logic : part II
George Tourlakis
Bulletin of the Section of Logic , 29 /3 (2000) s. 75-87 -
A New Foundation of a Complete Boolean Equational Logic
George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29 -
A Modal Extension of First Order Classical Logic, Part I
George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 32 /4 (2003) s. 165-177 -
A Modal Extension of First Order Classical Logic, Part II
George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 33 /1 (2004) s. 1-10 -
Pure Iteration and Substitution as the Basis of Computability
Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 203-213 -
A Proof Theoretic Tool for First-Order Modal Logic
Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 93-110 -
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Feng Gao, George Tourlakis
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 131-148 -
On the proof-theory of a first-order extension of GL
Yehuda Schwartz, George Tourlakis
Logic and Logical Philosophy , 23 /3 (2014) s. 329-363 -
An Arithmetically Complete Predicate Modal Logic
Yunge Hao, George Tourlakis
Bulletin of the Section of Logic , 50 /4 (2021) s. 513-541 -
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras
George Weaver, Benjamin George
Bulletin of the Section of Logic , 31 /3 (2002) s. 145-157 -
Speed - Virtuosity - Labyrinth
George Lellis
Art Inquiry. Recherches sur les arts /3 (2001) s. 207-213 -
From Iron Age to Middle Age : the Archaeological Evidence of Ships and Boats of the Baltic Sea
George Indruszewski
Quaestiones Medii Aevi Novae 10 (2005) s. 11-52 -
Omega-consistency and the diamond
George Boolos
Bulletin of the Section of Logic , 9 /1 (1980) s. 46-49 -
On Rine's view of Boolean algebras
George Epstein
Bulletin of the Section of Logic , 10 /2 (1981) s. 91-92 -
Purposive naming in mathematics
George Epstein
Bulletin of the Section of Logic , 4 /3 (1975) s. 91-93