- Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.details
|
|
Structuralism and Isomorphism.C. McCarty - 2015 - Philosophia Mathematica 23 (1):1-10.details
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
The Logic for Mathematics without Ex Falso Quodlibet.Neil Tennant - forthcoming - Philosophia Mathematica.details
|
|
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.details
|
|
Cumulative Habilitation Script.Christoph Benzmüller - 2006 - Saarland University, Germany.details
|
|
Quantification over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.details
|
|
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.details
|
|
Propositional Forms of Judgemental Interpretations.Tao Xue, Zhaohui Luo & Stergios Chatzikyriakidis - 2023 - Journal of Logic, Language and Information 32 (4):733-758.details
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.details
|
|
Second‐Order Logic and Set Theory.Jouko Väänänen - 2015 - Philosophy Compass 10 (7):463-478.details
|
|
Tracing Internal Categoricity.Jouko Väänänen - 2020 - Theoria 87 (4):986-1000.details
|
|
Categoricity and Consistency in Second-Order Logic.Jouko Väänänen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):20-27.details
|
|
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.details
|
|
Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.details
|
|
Two suggestions for Ramsey-reducts of infinite theories.Zeno G. Swijtink - 1976 - Philosophy of Science 43 (4):575-577.details
|
|
The logic languages of the TPTP world.Geoff Sutcliffe - 2023 - Logic Journal of the IGPL 31 (6):1153-1169.details
|
|
Syntactic structure and semantical reference IIStruktura syntaktyczna a stosunki semantyczne IIСинтаксигескаЯ структура и семантигеские отноцения II.Roman Suszko - 1960 - Studia Logica 9 (1):63-93.details
|
|
Compactness and recursive enumerability in intensional logic.Bernd J. Stephan - 1975 - Mathematical Logic Quarterly 21 (1):343-346.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Strict coherence, sigma coherence and the metaphysics of quantity.Brian Skyrms - 1995 - Philosophical Studies 77 (1):39-55.details
|
|
A Semantics for Ontology.Peter M. Simons - 1985 - Dialectica 39 (3):193-215.details
|
|
A Semantics for Ontology.Peter M. Simons - 1985 - Dialectica 39 (3):193-216.details
|
|
Hybrid terms and sentences.Dietmar Schweigert - 1993 - Studia Logica 52 (3):405 - 417.details
|
|
Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.details
|
|
First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.details
|
|
A note on Carnap's meaning criterion.William W. Rozeboom - 1960 - Philosophical Studies 11 (3):33 - 38.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.details
|
|
A survey of formal semantics.Robert Rogers - 1963 - Synthese 15 (1):17 - 56.details
|
|
A Set Theoretic Approach to the Simple Theory of Types.Michael D. Resnik - 1969 - Theoria 35 (3):239-258.details
|
|
Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Reply to “arthur Pap on meaning rules”.Arthur Pap - 1960 - Philosophical Studies 11 (3):38 - 41.details
|
|
Eq-algebra-based Fuzzy Type Theory And Its Extensions.Vilém Novák - 2011 - Logic Journal of the IGPL 19 (3):512-542.details
|
|
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.details
|
|
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.details
|
|
The metaphysics of quantity.Brent Mundy - 1987 - Philosophical Studies 51 (1):29 - 54.details
|
|
Elementary categorial logic, predicates of variable degree, and theory of quantity.Brent Mundy - 1989 - Journal of Philosophical Logic 18 (2):115 - 140.details
|
|