Two logics of analytic classical implication

Logica Trianguli 6:25-40 (2002)
  Copy   BIBTEX

Abstract

The paper contains two concepts of implication that can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parry's approach, these implications do not involve S4 strict implication but the classical one. This fact refers to the similar notion of so-called demodalized analytic implication of Dunn [1] and strong implication of Vanderveken, cf. [4, 6]. The features of analytic classical implications are presented in the form of two propositional logics on the pure implicational language

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Analytic tableaux for default logics.Vincent Risch - 1996 - Journal of Applied Non-Classical Logics 6 (1):71-88.
The logics of analytic equivalence.Marek Nowak - 2008 - Bulletin of the Section of Logic 37 (3/4):265-272.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Implicational f-structures and implicational relevance logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.

Analytics

Added to PP
2014-01-19

Downloads
11 (#1,110,001)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The logics of analytic equivalence.Marek Nowak - 2008 - Bulletin of the Section of Logic 37 (3/4):265-272.

Add more citations

References found in this work

No references found.

Add more references