added 20201015 (I Can't Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini  forthcoming  Synthese:115.details
added 20200918 Systems for NonReflexive Consequence.Carlo Nicolai & Lorenzo Rossi  manuscriptdetails
added 20200914 Putting the Stars in Their Places.Shay Allen Logan  2020  Thought: A Journal of Philosophy 9 (3):188197.details
added 20200912 Minimal Negation in the Ternary Relational Semantics.G. Robles, J. Mendez & F. Salto  2005  Reports on Mathematical Logic:4765.details
added 20200912 Anderson And Belnap's Minimal Positive Logic With Minimal Negation.J. Mendez, F. Salto & G. Robles  2002  Reports on Mathematical Logic 36:117130.details
added 20200912 A Natural Negation Completion of Urquhart's ManyValued Logic C.José M. Mendez & Francisco Salto  1998  Journal of Philosophical Logic 27 (1):7584.details
added 20200911 Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro  2020  Journal of Applied NonClassical Logics 30 (4):312334.details
added 20200614 Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai  manuscriptdetails
added 20200310 Minimal Negation in the Ternary Relational Semantics.Gemma Robles, José M. Méndez & Francisco Salto  2005  Reports on Mathematical Logic 39:4765.details
added 20200115 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
added 20191220 Negation on the Australian Plan.Francesco Berto & Greg Restall  2019  Journal of Philosophical Logic 48 (6):11191144.details
added 20191015 (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  forthcoming  Synthese:125.details
added 20190928 A Cognitive View of Relevant Implication.Daniele Porello & Claudio Masolo  2015  In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni & Manuela Sanguinietti (eds.), Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 2829, 2015. pp. 4053.details
added 20190928 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
added 20190928 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
added 20190928 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
added 20190705 Ритуальноміфологічний субстрат у романі Ґ. Майрінка «Ґолем».Larysa Yatchenko  2018  NaUKMA Researh Papers. Literary Studies 1:143147.details
added 20190608 Notes on Stratified Semantics.Shay Logan  2019  Journal of Philosophical Logic 48 (4):749786.details
added 20190603 Curry’s Paradox and Ω Inconsistency.Andrew Bacon  2013  Studia Logica 101 (1):19.details
added 20190408 A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2020  Journal of Philosophical Logic 49 (1):93120.details
added 20190330 Stoic Sequent Logic and Proof Theory.Susanne Bobzien  2019  History and Philosophy of Logic 40 (3):234265.details
added 20190129 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
added 20190109 On GraphTheoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio  2009  Journal of Logic and Computation 19 (6):13211357.details
added 20190109 A GraphTheoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio  2009  Journal of Logic and Computation 19 (6):12811320.details
added 20181203 Naïve Validity.Julien Murzi & Lorenzo Rossi  forthcoming  Synthese:123.details
added 20181003 Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  forthcoming  Synthese:117.details
added 20181003 A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2020  Review of Symbolic Logic 13 (1):80104.details
added 20180913 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
added 20180913 Incompatibility Semantics From Agreement.Daniele Porello  2012  Philosophia 40 (1):99119.details
added 20180827 Categorial Grammar and Discourse Representation Theory.Reinhard Muskens  1994  In Proceedings of COLING 94. Kyoto: pp. 508514.details
added 20180809 Faithfulness for Naive Validity.Ulf Hlobil  2019  Synthese 196 (11):47594774.details
added 20180724 Judgement Aggregation in NonClassical Logics.Daniele Porello  2017  Journal of Applied NonClassical Logics 27 (12):106139.details
added 20180724 NonNormal Modalities in Variants of Linear Logic.D. Porello & N. Troquard  2015  Journal of Applied NonClassical Logics 25 (3):229255.details
added 20180213 The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil  2018  Thought: A Journal of Philosophy 7 (1):4048.details
added 20180116 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
added 20170701 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
added 20170615 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
added 20170215 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
added 20170210 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
added 20161208 A ProofTheoretical View of Collective Rationality.Daniele Porello  2013  In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).details
added 20161207 Disarming a Paradox of Validity.Hartry Field  2017  Notre Dame Journal of Formal Logic 58 (1):119.details
added 20160517 Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz  2016  Journal of Applied Logic 19 (2):87101.details
added 20160425 Contraction and Revision.Shawn Standefer  2016  Australasian Journal of Logic 13 (3):5877.details
added 20151130 Paths to Triviality.Tore Øgaard  2016  Journal of Philosophical Logic 45 (3):237276.details
added 20150404 Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland  forthcoming  Journal of Logic and Computation.details
added 20141106 Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley  2015  Review of Symbolic Logic 8 (3):506528.details
added 20140812 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
added 20140407 A Utility Based Evaluation of LogicoProbabilistic Systems.Paul D. Thorn & Gerhard Schurz  2014  Studia Logica 102 (4):867890.details
added 20121010 Stable Harmony.Nils Kurbis  2008  In Peliš Michal (ed.), Logica Yearbook 2007.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.
