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

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)
Keywords constructive logic  intuitionistic logic  Nelson algebras  lattices of logics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004222213212
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,593
Through your library

References found in this work BETA

Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Nelson Algebras Through Heyting Ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.

View all 10 references / Add more references

Citations of this work BETA

Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Diamonds Are a Philosopher's Best Friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.

View all 24 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
38 ( #288,747 of 2,462,070 )

Recent downloads (6 months)
1 ( #448,768 of 2,462,070 )

How can I increase my downloads?

Downloads

My notes