Complementary Logics for Classical Propositional Languages

Kriterion - Journal of Philosophy 1 (4):20-24 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/krt-1992-010406

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

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

Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
Diversification of Object-Languages for Propositional Logics.Nissim Francez - 2018 - Journal of Logic, Language and Information 27 (3):193-203.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
Note on grammatical translations of logical calculi.Stanislaw Krajewski - 1992 - Archive for Mathematical Logic 31 (4):259-262.
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.
Supra-logic: using transfinite type theory with type variables for paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.

Analytics

Added to PP
2022-09-03

Downloads
2 (#1,809,088)

6 months
1 (#1,478,518)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Achille C. Varzi
Columbia University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references