Wyniki
-
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras
George Weaver, Benjamin George
Bulletin of the Section of Logic , 31 /3 (2002) s. 145-157 -
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 -
A summary of the underlying ground for hypothetical propositions
George Epstein
Bulletin of the Section of Logic , 24 /4 (1995) s. 236-237 -
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 -
Standard Normalization for Infinite Typed Terms
George Koletsos
Bulletin of the Section of Logic , 37 /1 (2008) s. 11-18 -
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic
George Metclafe
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 5-11 -
A New Foundation of a Complete Boolean Equational Logic
George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29 -
Categorical Abstract Algebraic Logic Referential π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 33-51 -
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 45 /2 (2016) s. 111-124 -
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
George Voutsadakis
Bulletin of the Section of Logic , 47 /2 (2018) s. 69-88 -
The Fraenkel-Carnap Question for Limited Higher-OrderLanguages
George Weaver, Benjamin R. George
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 1-9 -
Hallden-incomplete modal logics that are not strongly incomplete
George F. Schumm
Bulletin of the Section of Logic , 22 /4 (1993) s. 158-160 -
A summary of "Core Points in Double Heyting Algebras and Dissectable Lattices"
George Epstein, Alfred Horn
Bulletin of the Section of Logic , 10 /4 (1981) s. 181-184 -
Propositional calculi based on subresiduation
George Epstein, Alfred Horn
Bulletin of the Section of Logic , 3 /1 (1974) s. 41-42 -
Finite limitations on a propositional calculus for affirmation and negation
George Epstein, Alfred Horn
Bulletin of the Section of Logic , 3 /1 (1974) s. 43-44