- Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
On the impossibility of events of zero probability.Asad Zaman - 1987 - Theory and Decision 23 (2):157-159.details
|
|
The Σ 2 1 theory of axioms of symmetry.Galen Weitkamp - 1989 - Journal of Symbolic Logic 54 (3):727-734.details
|
|
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.details
|
|
A Relativization of Axioms of Strong Infinity to ^|^omega;1.Gaisi Takeuti - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):191-204.details
|
|
On ramsey’s theorem and the existence of infinite chains or infinite anti-chains in infinite posets.Eleftherios Tachtsis - 2016 - Journal of Symbolic Logic 81 (1):384-394.details
|
|
Primitive recursive ordinal functions with added constants.Stanley H. Stahl - 1977 - Journal of Symbolic Logic 42 (1):77-82.details
|
|
Outer models and genericity.M. C. Stanley - 2003 - Journal of Symbolic Logic 68 (2):389-418.details
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
Lattice initial segments of the hyperdegrees.Richard A. Shore & Bjørn Kjos-Hanssen - 2010 - Journal of Symbolic Logic 75 (1):103-130.details
|
|
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.details
|
|
Filosofía de las matemáticas, teoría de cardinales grandes y sus bases cognitivas.Wilfredo Quezada - 2017 - Revista de Filosofía 73:281-297.details
|
|
Generic embeddings.Jacob Manuel Plotkin - 1969 - Journal of Symbolic Logic 34 (3):388-394.details
|
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.details
|
|
Cantorian set theory.Alex Oliver & Timothy Smiley - 2018 - Bulletin of Symbolic Logic 24 (4):393-451.details
|
|
Great Philosophy: Discovery, Invention, and the Uses of Error.Christopher Norris - 2014 - International Journal of Philosophical Studies 22 (3):349-379.details
|
|
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.details
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
Admissible ordinals and intrinsic consistency.Michael Machtey - 1970 - Journal of Symbolic Logic 35 (3):389-400.details
|
|
Talking About Models: The Inherent Constraints of Mathematics.Stathis Livadas - 2020 - Axiomathes 30 (1):13-36.details
|
|
Quantum Mechanics, Formalization and the Cosmological Constant Problem.Jerzy Król & Torsten Asselmeyer-Maluga - 2020 - Foundations of Science 25 (4):879-904.details
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
Omitting types in set theory and arithmetic.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (1):25-32.details
|
|
Hanf numbers for omitting types over particular theories.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (3):583-588.details
|
|
Generic expansions of structures.Julia F. Knight - 1973 - Journal of Symbolic Logic 38 (4):561-570.details
|
|
The independence of Ramsey's theorem.E. M. Kleinberg - 1969 - Journal of Symbolic Logic 34 (2):205-206.details
|
|
Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.details
|
|
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.details
|
|
Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
|
|
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.details
|
|
Elementary Extensions of Levy's Model of $A_{2}^{-}$.Wojciech Guzicki - 1974 - Synthese 27 (1):265-270.details
|
|
Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.details
|
|
The generalized continuum hypothesis is equivalent to the generalized maximization principle.Joel I. Friedman - 1971 - Journal of Symbolic Logic 36 (1):39-54.details
|
|
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.details
|
|
Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.details
|
|
An embedding of classical logic in S4.Melvin Fitting - 1970 - Journal of Symbolic Logic 35 (4):529-534.details
|
|
ω-circularity of Yablo's paradox.Ahmet Çevik - forthcoming - Logic and Logical Philosophy:1.details
|
|
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.details
|
|
Leibnizian models of set theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.details
|
|
The positive properties of isolic integers.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (1):114-132.details
|
|
A choice free theory of dedekind cardinals.Erik Ellentuck - 1969 - Journal of Symbolic Logic 34 (1):70-84.details
|
|
An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.details
|
|
Remarks on Levy's reflection axiom.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):79-95.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|