- AF-Algebras with Lattice-Ordered K0: Logic and Computation.Daniele Mundici - forthcoming - Annals of Pure and Applied Logic:103182.details
- Maximal Towers and Ultrafilter Bases in Computability Theory.Steffen Lempp, Joseph S. Miller, André Nies & Mariya I. Soskova - forthcoming - Journal of Symbolic Logic:1-20.details
- Distality rank.Roland Walker - forthcoming - Journal of Symbolic Logic:1-32.details
- On the Proof Complexity of Logics of Bounded Branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.details
- The Two Halves of Disjunctive Correctness.Cezary Cieslinski, Mateusz Lelyk & Bartosz Wcislo - forthcoming - Journal of Mathematical Logic.details
- Cohen-Like First Order Structures.Ziemowit Kostana - 2023 - Annals of Pure and Applied Logic 174 (1):103172.details
- Trial and Error Mathematics: Dialectical Systems and Completions of Theories.Luca San Mauro, Jacopo Amidei, Uri Andrews, Duccio Pianigiani & Andrea Sorbi - 2019 - Journal of Logic and Computation 1 (29):157-184.details
- Non-Stationary Support Iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model.Moti Gitik & Eyal Kaplan - 2023 - Annals of Pure and Applied Logic 174 (1):103164.details
- Huge Reflection.Joan Bagaria & Philipp Lücke - 2023 - Annals of Pure and Applied Logic 174 (1):103171.details
- Admissibility of Π2-Inference Rules: Interpolation, Model Completion, and Contact Algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.details
- The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - forthcoming - Journal of Symbolic Logic:1-39.details
- Incompatible Bounded Category Forcing Axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).details
- Strong Compactness and the Ultrapower Axiom I: The Least Strongly Compact Cardinal.Gabriel Goldberg - 2022 - Journal of Mathematical Logic 22 (2).details
- Forcing the Σ31-Separation Property.Stefan Hoffelner - 2022 - Journal of Mathematical Logic 22 (2).details
- Structural Reflection, Shrewd Cardinals and the Size of the Continuum.Philipp Lücke - 2022 - Journal of Mathematical Logic 22 (2).details
- Definable Completeness of P-Minimal Fields and Applications.Pablo Cubides Kovacsics & Françoise Delon - 2022 - Journal of Mathematical Logic 22 (2).details
- Frege’s Ontological Diagram Completed.David Makinson - forthcoming - Logica Universalis:1-7.details
- The Bounds of Transcendental Logic.S. Kovač - forthcoming - History and Philosophy of Logic:1-4.details
- On Equational Completeness Theorems.Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-54.details
- Quantifier Elimination on Some Pseudo-Algebraically Closed Valued Fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.details
- The Permutations with Non-Fixed Points and the Sequences with Length of a Set.J. Nuntasri & P. Vejjajiva - forthcoming - Journal of Symbolic Logic:1-14.details
- Revisiting the Conditional Construal of Conditional Probability.Jakub Węgrecki & Leszek Wroński - forthcoming - Logic and Logical Philosophy.details
- Logic and Phenomenology: Wittgenstein / Ramsey / Schlick in Colour-Exclusion.Mihai Ometiță - 2017 - In Marcos Silva (ed.), Colours in the Development of Wittgenstein’s Philosophy. London, UK: pp. 127-159.details
- Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs.Nicola Galesi, Dmitry Itsykson, Artur Riazanov & Anastasia Sofronova - 2023 - Annals of Pure and Applied Logic 174 (1):103166.details
- Constructive Strong Regularity and the Extension Property of a Compactification.Giovanni Curi - 2023 - Annals of Pure and Applied Logic 174 (1):103154.details
- Wittgenstein and the Problem of Phenomenology [PhD Diss.].Mihai Ometiță - 2016 - Dissertation, University of East Angliadetails
- Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory.Emanuele Frittaion - forthcoming - Journal of Symbolic Logic:1-31.details
- Affine Logic for Constructive Mathematics.Michael Shulman - forthcoming - Bulletin of Symbolic Logic:1-51.details
- Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - forthcoming - Journal of Philosophical Logic:1-58.details
- On Zardini’s Rules for Multiplicative Quantification as the Source of Contra(di)Ctions.Uwe Petersen - forthcoming - Review of Symbolic Logic:1-10.details
- Strong Homomorphisms, Category Theory, and Semantic Paradox.Jonathan Wolfgram & Roy T. Cook - forthcoming - Review of Symbolic Logic:1-24.details
- Logic and African Philosophy: Seminal Essays on African Systems of Thought: J. Chimakonam, Editor. Delaware, Vernon Press, 2020, Xiv + 326 Pp., 16 Plts, €48, ISBN: 978-1-62273-882-3.E. Ofuasia - 2021 - History and Philosophy of Logic 43 (3):303-305.details
- Computational Complexity of Hybrid Interval Temporal Logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.details
- Pa Relative to an Enumeration Oracle.Jun le Goh, Iskander Sh Kalimullin, Joseph S. Miller & Mariya I. Soskova - forthcoming - Journal of Symbolic Logic:1-27.details
- The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - forthcoming - Studia Logica:1-14.details
- Enumerating Teams in First-Order Team Logics.Anselm Haak, Arne Meier, Fabian Müller & Heribert Vollmer - forthcoming - Annals of Pure and Applied Logic:103163.details
- Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.details
- An Analysis of Poly-connexivity.Luis Estrada-González - 2022 - Studia Logica 110 (4):925-947.details
- On Extracting Variable Herbrand Disjunctions.Andrei Sipoş - 2022 - Studia Logica 110 (4):1115-1134.details
- Generalizing Deontic Action Logic.Alessandro Giordani & Matteo Pascucci - 2022 - Studia Logica 110 (4):989-1033.details
- Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups.Sándor Jenei - 2022 - Studia Logica 110 (4):1135-1135.details
- Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):881-922.details
- Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):923-924.details
- What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.details
- A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.details
- Designing Paradoxes: A Revision-theoretic Approach.Ming Hsiung - 2022 - Journal of Philosophical Logic 51 (4):739-789.details
- Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
- Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.details
- Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories.Lu Chen - 2022 - Journal of Philosophical Logic 51 (4):857-877.details
- Taking Up Thagard’s Challenge: A Formal Model of Conceptual Revision.Sena Bozdag & Matteo De Benedetto - 2022 - Journal of Philosophical Logic 51 (4):791-824.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
|
|