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)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,248

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

Analytics

Added to PP
2009-01-28

Downloads
77 (#303,629)

6 months
8 (#632,187)

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