On extensions of intermediate logics by strong negation

Journal of Philosophical Logic 27 (1):49-73 (1998)
  Copy   BIBTEX

Abstract

In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation. It is shown that the mapping from Λ to n(Λ) is a homomorphism of complete lattices, preserving and reflecting finite model property, frame-completeness, interpolation and decidability. A general characterization of those constructive logics is given which are of the form n(Λ). This summarizes results that can be found already in [13, 14] and [4]. Furthermore, we determine the structure of the lattice of extensions of n(LC)

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
38 (#309,274)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.

View all 10 references / Add more references