Material to categorize
- New jump operators on equivalence relations.John D. Clemens & Samuel Coskey - 2022 - Journal of Mathematical Logic 22 (3).details
- Logic of faith and deed. The idea and an outline of the theoretical conception.Urszula Wybraniec-Skardowska - 2019 - Studia Philosophiae Christianae 55 (2):125-149.details
- Robotlar ve planlama.Varol Akman & Erkan Tin - 1993 - Elektrik Mühendisliği 391:37-43.details
- What Follows from the Impossible: Everything or Nothing? (An Interpretation of the ‘Avranches Text’ and the Ars Meliduna).Wolfgang Lenzen - 2021 - History and Philosophy of Logic 43 (4):309-331.details
- Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.details
- Representing Buridan’s Divided Modal Propositions in First-Order Logic.Jonas Dagys, Živilė Pabijutaitė & Haroldas Giedra - 2021 - History and Philosophy of Logic 43 (3):264-274.details
- Mixed Conditional-Categorical Syllogisms from Avicenna to Urmawī.Khaled El-Rouayheb - 2021 - History and Philosophy of Logic 43 (3):232-250.details
- Completeness: From Husserl to Carnap.Víctor Aranda - 2022 - Logica Universalis 16 (1):57-83.details
- Complexity of distances: Theory of generalized analytic equivalence relations.Marek Cúth, Michal Doucha & Ondřej Kurka - forthcoming - Journal of Mathematical Logic.details
- Investigations of isotropy and homogeneity of spacetime in first-order logic.Judit X. Madarász, Mike Stannett & Gergely Székely - 2022 - Annals of Pure and Applied Logic 173 (9):103153.details
- Valid Arguments as True Conditionals.Andrea Iacona - forthcoming - Mind.details
- Two-variable logic has weak, but not strong, Beth definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.details
- Homotopy model theory.Brice Halimi - 2021 - Journal of Symbolic Logic 86 (4):1301-1323.details
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.details
- Classical counterpossibles.Rohan French, Patrick Girard & David Ripley - 2022 - Review of Symbolic Logic 15 (1):259-275.details
- Embedding Classical Logic in S4.Sophie Nagler - 2019 - Dissertation, Munich Center for Mathematical Philosophy (Mcmp), Lmu Munichdetails
- Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2022 - Studia Logica 110 (2):295-317.details
- Semantyczna teoria prawdy a antynomie semantyczne [Semantic Theory of Truth vs. Semantic Antinomies].Jakub Pruś - 2021 - Rocznik Filozoficzny Ignatianum 1 (27):341–363.details
- One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.details
- $$\mathrm {ZF}$$ ZF Between Classicality and Non-classicality.Sourav Tarafder & Giorgio Venturi - 2022 - Studia Logica 110 (1):189-218.details
- Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (1):99-126.details
- Validities, antivalidities and contingencies: A multi-standard approach.Eduardo Barrio & Federico Pailos - 2022 - Journal of Philosophical Logic 51 (1):75-98.details
- Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - 2022 - Journal of Philosophical Logic 51 (1):27-55.details
- The unrevisability of logic.Thomas Hofweber - 2021 - Philosophical Perspectives 35 (1):251-274.details
- Recursive axiomatisations from separation properties.Rob Egrot - 2021 - Journal of Symbolic Logic 86 (3):1228-1258.details
- Deep ST.Thomas M. Ferguson & Elisángela Ramírez-Cámara - 2022 - Journal of Philosophical Logic 51 (6):1261-1293.details
- On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem.Yoshiki Nakamura & Naosuke Matsuda - 2021 - Studia Logica 109 (6):1413-1422.details
- The fluted fragment with transitive relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.details
- Adequate predimension inequalities in differential fields.Vahagn Aslanyan - 2022 - Annals of Pure and Applied Logic 173 (1):103030.details
- Logic Works: A Rigorous Introduction to Formal Logic.Lorne Falkenstein, Scott Stapleford & Molly Kao - 2022 - New York: Routledge.details
- The Open Future: Why Future Contingents Are All False.Patrick Todd - 2021 - Oxford: Oxford University Press.details
- Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic.Amirouche Moktefi - 2021 - Logica Universalis 15 (3):359-379.details
- Metasequents and Tetravaluations.Rohan French - 2021 - Journal of Philosophical Logic:1-24.details
- A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.details
- Supervaluations and the Strict-Tolerant Hierarchy.Brian Porter - 2022 - Journal of Philosophical Logic 51 (6):1367-1386.details
- One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic:1-27.details
- Inquisitive bisimulation.Ivano Ciardelli & Martin Otto - 2021 - Journal of Symbolic Logic 86 (1):77-109.details
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions.Yaroslav Shramko - 2021 - Annals of Pure and Applied Logic 172 (9):103011.details
- Three Systems of First Degree Entailment.Richard Bradshaw Angell - 1977 - Journal of Symbolic Logic 42 (1):147.details
- What is Identical?Marta Vlasáková - 2021 - Logica Universalis 15 (2):153-170.details
- The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.details
- The fundamental theorem of central element theory.Mariana Vanesa Badano & Diego Jose Vaggione - 2020 - Journal of Symbolic Logic 85 (4):1599-1606.details
- Proof complexity of substructural logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.details
- A Simplified Ordinal Analysis of First-Order Reflection.Toshiyasu Arai - 2020 - Journal of Symbolic Logic 85 (3):1163-1185.details
- Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$mathbf {L3AG}$$ L 3 A G and $$mathbf {L3BG}$$ L 3 B G.Alejandro Hernández-Tello, Miguel Pérez-Gaspar & Verónica Borja Macías - 2021 - Logica Universalis 15 (1):87-121.details
- Saving the Square of Opposition.Pieter A. M. Seuren - 2021 - History and Philosophy of Logic 42 (1):72-96.details
- Double Negation Semantics for Generalisations of Heyting Algebras.Rob Arthan & Paulo Oliva - 2021 - Studia Logica 109 (2):341-365.details
- The Entropy-Limit (Conjecture) for $$Sigma _2$$ Σ 2 -Premisses.Jürgen Landes - 2021 - Studia Logica 109 (2):423-442.details
- Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.details
- Elementary Symbolic Logic: Concepts, Techniques, and Context.Kevin Morris - 2021 - Kendall Hunt.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|