Negative Equivalence of Extensions of Minimal Logic

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


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.



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library


Added to PP

44 (#371,940)

6 months
17 (#161,262)

Historical graph of downloads
How can I increase my downloads?