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: 92,873

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.


Added to PP

44 (#370,261)

6 months
17 (#162,074)

Historical graph of downloads
How can I increase my downloads?