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  forthcoming  Journal of Philosophical Logic:128.details
added 20190324 The LvovWarsaw School. Past and Present.Urszula WybraniecSkardowska & Ángel Garrido (eds.)  2018  Cham, Switzerland: Springer Birkhauser,.details
added 20190309 Une sémantique générale des croyances justifiées.Fabien Schang & Alexandre Costa Leite  2016  CLEPrints 16 (3):124.details
added 20190215 Syntactic Characterizations of FirstOrder Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera  forthcoming  Soft Computing.details
added 20190207 Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson  2018  Australasian Journal of Logic 15 (2):301361.details
added 20190204 Recapture, Transparency, Negation and a Logic for the Catuskoti.Adrian Kreutz  2019  Comparative Philosophy 10 (1):6792.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 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 20181129 Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique  2016  Journal of Applied NonClassical Logics 26 (4):286314.details
added 20181003 TrackDown Operations on Bilattices.Damian Szmuc  2018  In Robert Wille & Martin Lukac (eds.), Proceedings of the 48th IEEE International Symposium on MultipleValued Logic. Los Alamitos, California, EE. UU.: pp. 7479.details
added 20180918 Negation on the Australian Plan.Franz Berto & Greg Restall  2019  Journal of Philosophical Logic 1:126.details
added 20180904 Truth and Generalized Quantification.Bruno Whittle  2018  Australasian Journal of Philosophy 97 (2):340353.details
added 20180827 A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees.Stefan Wintein & Reinhard Muskens  2012  Logique Et Analyse 220:643656.details
added 20180826 Interpolation in 16Valued Trilattice Logics.Reinhard Muskens & Stefan Wintein  2018  Studia Logica 106 (2):345370.details
added 20180607 Sistema Experto en Deducción dentro de la Lógica Normal Trivalente.Gabriel GarduñoSoto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón  1990  In VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. Mexico City: National Autonomous University of Mexico.details
added 20180512 Proof Theory of FiniteValued Logics.Richard Zach  1993  Dissertation, Technische Universität Wiendetails
added 20180413 Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268283.details
added 20180407 Maximality in FiniteValued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo  forthcoming  Journal of Logic and Computation.details
added 20180221 New Dimensions of the Square of Opposition.JeanYves Beziau & Stamatios Gerogiorgakis (eds.)  2017  Munich: Philosophia.details
added 20180201 Logically Impossible Worlds.Koji Tanaka  2018  Australasian Journal of Logic 15 (2):489.details
added 20171013 Belief Dynamics: (Epistemo)Logical Investigations.Allard Tamminga  2001  Dissertation, University of Amsterdamdetails
added 20171010 Effective FiniteValued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach  2008  In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.details
added 20171010 Completeness of a Hypersequent Calculus for Some FirstOrder Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach  2006  In 36th International Symposium on Multiplevalued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.details
added 20171010 Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach  2000  In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.details
added 20171010 Approximating Propositional Calculi by FiniteValued Logics.Matthias Baaz & Richard Zach  1994  In 24th International Symposium on Multiplevalued Logic, 1994. Proceedings. Los Alamitos: IEEE Press. pp. 257–263.details
added 20171010 Elimination of Cuts in FirstOrder FiniteValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1994  Journal of Information Processing and Cybernetics EIK 29 (6):333355.details
added 20170813 Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach  2000  In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240256.details
added 20170813 Compact Propositional Gödel Logics.Matthias Baaz & Richard Zach  1998  In 28th IEEE International Symposium on MultipleValued Logic, 1998. Proceedings. Los Alamitos: IEEE Press. pp. 108113.details
added 20170813 Incompleteness of a FirstOrder Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach  1996  In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 115.details
added 20170813 Dual Systems of Sequents and Tableaux for ManyValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  Bulletin of the EATCS 51:192197.details
added 20170813 Systematic Construction of Natural Deduction Systems for ManyValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  In Proceedings of The TwentyThird International Symposium on MultipleValued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208213.details
added 20170531 ManyValued Logics. A Mathematical and Computational Introduction.Luis M. Augusto  2017  London: College Publications.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 20161219 Classicality Lost: K3 and LP After the Fall.Matthias Jenny  2016  Thought: A Journal of Philosophy 5 (4).details
added 20160226 On Modal Meinongianism.Thibaut Giraud  2016  Synthese 193 (10).details
added 20151128 Topos Theoretic Quantum Realism.Benjamin Eva  2017  British Journal for the Philosophy of Science 68 (4):11491181.details
added 20150720 A Completenesss Theorem for a 3Valued Semantics for a FirstOrder Language.Christopher Gauker  manuscriptdetails
added 20150208 Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi  2002  Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME02:141145.details
added 20150206 Bourne on Future Contingents and ThreeValued Logic.Daisuke Kachi  2009  Logic and Logical Philosophy 18 (1):3343.details
added 20150206 Validity in Simple Partial Logic.Daisuke Kachi  2002  Annals of the Japan Association for Philosophy of Science 10 (4):139153.details
added 20150206 Was Łukasiewicz Wrong? : ThreeValued Logic and Determinism.Daisuke Kachi  1996  In "Łukasiewicz in Dublin"  An International Conference on the Work of Jan Łukasiewicz.details
added 20150131 Labeled Calculi and FiniteValued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach  1998  Studia Logica 61 (1):733.details
added 20150104 Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson  2012  Notre Dame Journal of Formal Logic 53 (1):113132.details
added 20141015 A ThreeValued Interpretation for a Relevance Logic.Fred Johnson  1976  The Relevance Logic Newsletter 1 (3):123128.details
added 20140115 Tableaux sin refutación.Tomás Barrero & Walter Carnielli  2005  Matemáticas: Enseñanza Universitaria 13 (2):8199.details
added 20140115 Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero  2004  Dissertation, Universidade Estadual de Campinasdetails
added 20131127 Chess Composition as an Art.Miro Brada  manuscriptdetails
added 20130516 Valuations.JeanLouis Lenard  manuscriptdetails

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.
