- Paradoxes of Logical Equivalence and Identity.Andrew Bacon - 2013 - Topoi (1):1-10.details
- Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai - manuscriptdetails
- Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - manuscriptdetails
- Models for Substructural Arithmetics.Greg Restall - manuscriptdetails
- Depth Relevance and Hyperformalism.Shay Allen Logan - forthcoming - Journal of Philosophical Logic:1-17.details
- Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.details
- Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.details
- Confused Entailment.Tore Fjetland Øgaard - 2022 - Topoi 41 (1):207-219.details
- Theorems of Alternatives for Substructural Logics.Almudena Colacito, Nikolaos Galatos & George Metcalfe - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 91-105.details
- A Family of Strict/Tolerant Logics.Melvin Fitting - 2021 - Journal of Philosophical Logic 50 (2):363-394.details
- Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2021 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.details
- Strong Depth Relevance.Shay Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.details
- On Not Saying What We Shouldn't Have to Say.Shay Logan & Leach-Krouse Graham - 2021 - Australasian Journal of Logic 18 (5):524-568.details
- Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.details
- An Incompleteness Theorem for Modal Relevant Logics.Shawn Standefer - 2021 - Notre Dame Journal of Formal Logic 62 (4):669 - 681.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
- From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.details
- A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.details
- A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.details
- (I Can’T Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.details
- Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.details
- Algebraic Perspectives on Substructural Logics.Davide Fazio, Antonio Ledda & Francesco Paoli (eds.) - 2020 - Springer International Publishing.details
- Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications. pp. 67-82.details
- Putting the Stars in Their Places.Shay Allen Logan - 2020 - Thought: A Journal of Philosophy 9 (3):188-197.details
- Varieties of de Morgan Monoids: Covers of Atoms.T. Moraschini, J. G. Raftery & J. J. Wannenburg - 2020 - Review of Symbolic Logic 13 (2):338-374.details
- Non-contractability and Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Erkenntnis 85 (4):905-917.details
- (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.details
- Graham Priest on Dialetheism and Paraconsistency.Can Başkent & Thomas Macaulay Ferguson (eds.) - 2019 - Cham, Switzerland: Springer Verlag.details
- Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.details
- Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.details
- Notes on Stratified Semantics.Shay Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.details
- On Elimination of Quantifiers in Some Non-Classical Mathematical Theories.Guillermo Badia & Andrew Tedder - 2018 - Mathematical Logic Quarterly 64 (3):140-154.details
- Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2018 - Synthese 198 (Suppl 20):4991-5007.details
- Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.details
- Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. London: College Publications. pp. 109-123.details
- The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.details
- What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, from Consistency to Inconsistency. Springer Verlag.details
- Ритуально-міфологічний субстрат у романі Ґ. Майрінка «Ґолем».Larysa Yatchenko - 2018 - NaUKMA Researh Papers. Literary Studies 1:143-147.details
- Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.details
- Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.details
- When Structural Principles Hold Merely Locally.Ulf Hlobil - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67.details
- Naïve Validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
- Judgement Aggregation in Non-Classical Logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
- LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.details
- Curry's Paradox.Lionel Shapiro & Jc Beall - 2017 - Edward N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. CSLI Publications.details
- A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.details
- The Relevant Fragment of First Order Logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.details
- Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.details
- A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.details
- A Note on the Substructural Hierarchy.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (1-2):102-110.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
|
|