 Chess Composition as an Art.Miro Brada  manuscriptdetails
 Valuations.JeanLouis Lenard  manuscriptdetails
 Syntactic Characterizations of FirstOrder Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera  forthcoming  Soft Computing.details
 (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  forthcoming  Synthese:125.details
 (I Can't Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini  forthcoming  Synthese:115.details
 A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc  forthcoming  Studia Logica:138.details
 Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson  forthcoming  Notre Dame Journal of Formal Logic.details
 ManyValued Logics. A Mathematical and Computational Introduction.Luis M. Augusto  2020  London: College Publications.details
 A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2020  Journal of Philosophical Logic 49 (1):93120.details
 Paracomplete Logics Which Are Dual to the Paraconsistent Logics L3A and L3B.Alejandro HernándezTello, Verónica BorjaMacı́as & Marcelo E. Coniglio  2020  LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.details
 Star Models and the Semantics of Infectiousness.Matthew W. G. McClure  2020  Undergraduate Philosophy Journal of Australasia 2 (2):35–57.details
 Contrastando reconstrucciones con herramientas computacionales: una aplicación a la cladística.Ariel Jonathan Roffé  2020  Dissertation, Universidad de Buenos Aires (UBA)details
 Negation on the Australian Plan.Francesco Berto & Greg Restall  2019  Journal of Philosophical Logic 48 (6):11191144.details
 Maximality in FiniteValued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo  2019  Journal of Logic and Computation 29 (1):125156.details
 Recapture, Transparency, Negation and a Logic for the Catuskoti.Adrian Kreutz  2019  Comparative Philosophy 10 (1):6792.details
 Truth and Generalized Quantification.Bruno Whittle  2019  Australasian Journal of Philosophy 97 (2):340353.details
 Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson  2018  Australasian Journal of Logic 15 (2):301361.details
 Interpolation in 16Valued Trilattice Logics.Reinhard Muskens & Stefan Wintein  2018  Studia Logica 106 (2):345370.details
 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
 Logically Impossible Worlds.Koji Tanaka  2018  Australasian Journal of Logic 15 (2):489.details
 The LvovWarsaw School. Past and Present.Urszula WybraniecSkardowska & Ángel Garrido (eds.)  2018  Cham, Switzerland: Springer Birkhauser,.details
 New Dimensions of the Square of Opposition.JeanYves Beziau & Stamatios Gerogiorgakis (eds.)  2017  Munich: Philosophia.details
 Topos Theoretic Quantum Realism.Benjamin Eva  2017  British Journal for the Philosophy of Science 68 (4):11491181.details
 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
 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
 Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique  2016  Journal of Applied NonClassical Logics 26 (4):286314.details
 On Modal Meinongianism.Thibaut Giraud  2016  Synthese 193 (10).details
 Classicality Lost: K3 and LP After the Fall.Matthias Jenny  2016  Thought: A Journal of Philosophy 5 (4).details
 Une sémantique générale des croyances justifiées.Fabien Schang & Alexandre Costa Leite  2016  CLEPrints 16 (3):124.details
 Curry’s Paradox and Ω Inconsistency.Andrew Bacon  2013  Studia Logica 101 (1):19.details
 NonClassical Metatheory for NonClassical Logics.Andrew Bacon  2013  Journal of Philosophical Logic 42 (2):335355.details
 Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson  2012  Notre Dame Journal of Formal Logic 53 (1):113132.details
 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
 Bourne on Future Contingents and ThreeValued Logic.Daisuke Kachi  2009  Logic and Logical Philosophy 18 (1):3343.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
 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
 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
 Tableaux sin refutación.Tomás Barrero & Walter Carnielli  2005  Matemáticas: Enseñanza Universitaria 13 (2):8199.details
 Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero  2004  Dissertation, Universidade Estadual de Campinasdetails
 Validity in Simple Partial Logic.Daisuke Kachi  2002  Annals of the Japan Association for Philosophy of Science 10 (4):139153.details
 Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi  2002  Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME02:141145.details
 The Concept of Truth.Boris Čulina  2001  Synthese 126 (12):339  360.details
 Belief Dynamics: (Epistemo)Logical Investigations.Allard Tamminga  2001  Dissertation, University of Amsterdamdetails
 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
 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
 Labeled Calculi and FiniteValued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach  1998  Studia Logica 61 (1):733.details
 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
 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

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.
