On Extensions of Intermediate Logics by Strong Negation

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).

[1]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[2]  Helena Rasiowa,et al.  N-lattices and constructive logic with strong negation , 1958 .

[3]  L. Maksimova.  VARIETIES OF PSEUDO-BOOLEAN ALGEBRAS , 1978 .

[4]  V. Ooranka.  The Craig Interpolation Theorem for Propositional Logics with Strong Negation , .

[5]  G. Antoniou.  Stable Model Semantics of Logic Programs , 1997 .

[6]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[7]  Andrzej Sendlewski.  Axiomatic extensions of the constructive logic with strong negation and the disjunction property , 1995, Stud Logica.

[8]  Dimiter Vakarelov,et al.  Notes on N-lattices and constructive logic with strong negation , 1977 .

[9]  David Nelson,et al.  Constructible falsity , 1949, Journal of Symbolic Logic.

[10]  Gerd Wagner,et al.  Logic Programming with Strong Negation , 1989, ELP.

[11]  Andrzej Sendlewski,et al.  Some investigations of varieties ofN-lattices-lattices , 1984 .

[12]  Wolfgang Rautenberg,et al.  Klassische und nichtklassische Aussagenlogik , 1979 .

[13]  David Pearce,et al.  Disjunctive Logic Programming, Constructivity and Strong Negation , 1992, JELIA.

[14]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[15]  Valentin Goranko.  The Craig interpolation theorem for prepositional logics with strong negation , 1985, Stud Logica.

[16]  Andrzej Sendlewski,et al.  Nelson algebras through Heyting ones: I , 1990, Stud Logica.