Negative Equivalence of Extensions of Minimal Logic

Studia Logica 78 (3):417-442 (2004)
  Copy   BIBTEX

Abstract

Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

External links

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

Through your library

Similar books and articles

Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (1):42-46.

Analytics

Added to PP
2009-01-28

Downloads
25 (#465,705)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?