Corrigendum to “An order-theoretic analysis of interpretations among propositional deductive systems” [Ann. Pure Appl. Logic 164 (2) (2013) 112–130] [Book Review]

Annals of Pure and Applied Logic 167 (3):392-394 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.11.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An order-theoretic analysis of interpretations among propositional deductive systems.Ciro Russo - 2013 - Annals of Pure and Applied Logic 164 (2):112-130.
Dynamic extensions of arrow logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.
Systems of explicit mathematics with non-constructive μ-operator and join.Thomas Glaß & Thomas Strahm - 1996 - Annals of Pure and Applied Logic 82 (2):193-219.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
Logical consequence, deductive-theoretic conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
Erratum to “Zero-one laws for modal logic” [Ann. Pure Appl. Logic 69 (1994) 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.

Analytics

Added to PP
2015-11-25

Downloads
22 (#666,248)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references