 Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski  1948  Journal of Symbolic Logic 13 (1):115.details


Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski  1948  Journal of Symbolic Logic 13 (3):171172.details


A universal approach to selfreferential paradoxes, incompleteness and fixed points.Noson S. Yanofsky  2003  Bulletin of Symbolic Logic 9 (3):362386.details


Boolean Algebras with Operators.Alfred Tarski  1953  Journal of Symbolic Logic 18 (1):7071.details


A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski  1952  Journal of Symbolic Logic 17 (1):7272.details


Algebraic Treatment of the Notion of Satisfiability.H. Rasiowa & R. Sikorski  1955  Journal of Symbolic Logic 20 (1):7880.details


Algebraic Treatment of the Functional Calculi of Heyting and Lewis.H. Rasiowa  1953  Journal of Symbolic Logic 18 (1):7273.details


An Application of Lattices to Logic.H. Rasiowa & R. Sikorski  1970  Journal of Symbolic Logic 35 (1):137137.details


Algebraic Models of Axiomatic Theories.H. Rasiowa  1968  Journal of Symbolic Logic 33 (2):285286.details


Conceptual completeness for firstorder Intuitionistic logic: an application of categorical logic.Andrew M. Pitts  1989  Annals of Pure and Applied Logic 41 (1):3381.details


On the structure of paradoxes.Du?ko Pavlovi?  1992  Archive for Mathematical Logic 31 (6):397406.details


The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski  1944  Annals of Mathematics, Second Series 45:141191.details


On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski  1946  Annals of Mathematics, Ser. 2 47:122162.details


Strong conceptual completeness for firstorder logic.Michael Makkai  1988  Annals of Pure and Applied Logic 40 (2):167215.details


A theorem on barrexact categories, with an infinitary generalization.Michael Makkai  1990  Annals of Pure and Applied Logic 47 (3):225268.details


Functional Semantics of Algebraic Theories.F. William Lawvere  1974  Journal of Symbolic Logic 39 (2):340341.details


Adjointness in Foundations.F. William Lawvere  1969  Dialectica 23 (3‐4):281296.details


Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott  1989  Journal of Symbolic Logic 54 (3):11131114.details


Cylindric Algebras.Leon Henkin & Alfred Tarski  1967  Journal of Symbolic Logic 32 (3):415416.details


Three varieties of mathematical structuralism.Geoffrey Hellman  2001  Philosophia Mathematica 9 (2):184211.details


Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman  2003  Philosophia Mathematica 11 (2):129157.details


The Basic Concepts of Algebraic Logic.Paul R. Halmos  1958  Journal of Symbolic Logic 23 (2):223223.details


Algebraic Logic.Paul Richard Halmos  2014  New York, NY, USA: Chelsea.details


Topologies for intermediate logics.Olivia Caramello  2014  Mathematical Logic Quarterly 60 (45):335347.details


La logique Des topos.André Boileau & André Joyal  1981  Journal of Symbolic Logic 46 (1):616.details


Lattice Theory.Garrett Birkhoff  1940  Journal of Symbolic Logic 5 (4):155157.details


Lattice Theory.Garrett Birkhoff  1950  Journal of Symbolic Logic 15 (1):5960.details


Structure in mathematics and logic: A categorical perspective.S. Awodey  1996  Philosophia Mathematica 4 (3):209237.details


Category theory for linear logicians.Richard Blute & Philip Scott  2004  In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 3163.details


The PreHistory of Mathematical Structuralism.Erich H. Reck & Georg Schiemer (eds.)  2020  Oxford: Oxford University Press.details


Categories for the Working Mathematician.Saunders Maclane  1971  Springer.details


General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg  1945  Transactions of the American Mathematical Society:231294.details

