 Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai  manuscriptdetails
 Systems for NonReflexive Consequence.Carlo Nicolai & Lorenzo Rossi  manuscriptdetails
 Depth Relevance and Hyperformalism.Shay Allen Logan  forthcoming  Journal of Philosophical Logic:117.details
 Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland  forthcoming  Journal of Logic and Computation.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. 169193.details
 Strong Depth Relevance.Shay Logan  2021  Australasian Journal of Logic 18 (6):645656.details
 On Not Saying What We Shouldn't Have to Say.Shay Logan & LeachKrouse Graham  2021  Australasian Journal of Logic 18 (5):524568.details
 Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos  2021  Australasian Journal of Logic 3.details
 The (Greatest) Fragment of Classical Logic That Respects the VariableSharing Principle (in the FMLAFMLA Framework).Damian E. Szmuc  2021  Bulletin of the Section of Logic 50 (4):421453.details
 From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard  2021  Australasian Journal of Logic 18 (2):5172.details
 A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2020  Review of Symbolic Logic 13 (1):80104.details
 A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2020  Journal of Philosophical Logic 49 (1):93120.details
 (I Can’T Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini  2020  Synthese 198 (9):82518265.details
 Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro  2020  Journal of Applied NonClassical Logics 30 (4):312334.details
 Expressing Validity: Towards a SelfSufficient Inferentialism.Ulf Hlobil  2020  In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications. pp. 6782.details
 Putting the Stars in Their Places.Shay Allen Logan  2020  Thought: A Journal of Philosophy 9 (3):188197.details
 (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2019  Synthese 198 (S22):52655289.details
 Stoic Sequent Logic and Proof Theory.Susanne Bobzien  2019  History and Philosophy of Logic 40 (3):234265.details
 Faithfulness for Naive Validity.Ulf Hlobil  2019  Synthese 196 (11):47594774.details
 Notes on Stratified Semantics.Shay Logan  2019  Journal of Philosophical Logic 48 (4):749786.details
 Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2018  Synthese 198 (Suppl 20):49915007.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. 109123.details
 The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil  2018  Thought: A Journal of Philosophy 7 (1):4048.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:143147.details
 Disarming a Paradox of Validity.Hartry Field  2017  Notre Dame Journal of Formal Logic 58 (1):119.details
 Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard  2017  Notre Dame Journal of Formal Logic 58 (4):461506.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. 5367.details
 Naïve Validity.Julien Murzi & Lorenzo Rossi  2017  Synthese 199 (Suppl 3):819841.details
 Judgement Aggregation in NonClassical Logics.Daniele Porello  2017  Journal of Applied NonClassical Logics 27 (12):106139.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
 A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil  2016  In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87105.details
 Contraction and Revision.Shawn Standefer  2016  Australasian Journal of Logic 13 (3):5877.details
 Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz  2016  Journal of Applied Logic 19 (2):87101.details
 Paths to Triviality.Tore Øgaard  2016  Journal of Philosophical Logic 45 (3):237276.details
 Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley  2015  Review of Symbolic Logic 8 (3):506528.details
 NonNormal Modalities in Variants of Linear Logic.D. Porello & N. Troquard  2015  Journal of Applied NonClassical Logics 25 (3):229255.details
 Logical Operators for Ontological Modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard  2014  In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems  Proceedings of the Eighth International Conference, {FOIS} 2014, September, 2225, 2014, Rio de Janeiro, Brazil}. pp. 2336.details
 A ResourceSensitive Logic of Agency.Daniele Porello & Nicolas Troquard  2014  In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723728.details
 A Utility Based Evaluation of LogicoProbabilistic Systems.Paul D. Thorn & Gerhard Schurz  2014  Studia Logica 102 (4):867890.details
 Curry’s Paradox and Ω Inconsistency.Andrew Bacon  2013  Studia Logica 101 (1):19.details
 A ProofTheoretical View of Collective Rationality.Daniele Porello  2013  In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).details
 Ampliative Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz  2013  In Christoph Beierle & Gabriele KernIsberner (eds.), Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB2013). Fakultät für Mathematik und Informatik, FernUniversität in Hagen. pp. 7788.details
 Incompatibility Semantics From Agreement.Daniele Porello  2012  Philosophia 40 (1):99119.details
 Modelling Combinatorial Auctions in Linear Logic.Daniele Porello & Ulle Endriss  2010  In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 913, 2010.details
 Modelling Multilateral Negotiation in Linear Logic.Daniele Porello & Ulle Endriss  2010  In {ECAI} 2010  19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 1620, 2010, Proceedings. pp. 381386.details
 On GraphTheoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio  2009  Journal of Logic and Computation 19 (6):13211357.details
 A GraphTheoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio  2009  Journal of Logic and Computation 19 (6):12811320.details
 Stable Harmony.Nils Kurbis  2008  In Peliš Michal (ed.), Logica Yearbook 2007.details
 Minimal Negation in the Ternary Relational Semantics.G. Robles, J. Mendez & F. Salto  2005  Reports on Mathematical Logic:4765.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus 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

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
