 Chess Composition as an Art.Miro Brada  manuscriptdetails
 Valuations.JeanLouis Lenard  manuscriptdetails
 An Epimorphism Between Fine and Ferguson's Matrices for Angell's AC.Richard Zach  manuscriptdetails
 Epsilon Theorems in Intermediate Logics.Matthias Baaz & Richard Zach  forthcoming  Journal of Symbolic Logic:140.details
 Syntactic Characterizations of FirstOrder Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera  forthcoming  Soft Computing.details
 G'3 as the Logic of Modal 3Valued Heyting Algebras.Marcelo E. Coniglio, Aldo FigalloOrellano, Alejandro HernándezTello & Miguel PerezGaspar  2022  IfCoLog Journal of Logics and Their Applications 9 (1):175197.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
 A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc  2021  Studia Logica 109 (4):791828.details
 Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson  2021  Notre Dame Journal of Formal Logic 62 (3):399424.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
 (I Can’T Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini  2020  Synthese 198 (9):82518265.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
 (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc  2019  Synthese 198 (S22):52655289.details
 Negation on the Australian Plan.Francesco Berto & Greg Restall  2019  Journal of Philosophical Logic 48 (6):11191144.details
 Modeling the Interaction of Computer Errors by FourValued Contaminating Logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc  2019  In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119139.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 Béziau & 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

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.
