On Extensions of Intermediate Logics by Strong Negation |
| |
Authors: | Marcus Kracht |
| |
Affiliation: | (1) Fachbereich Mathematik und Informatik, Institut für Mathematik II, Freie Universität Berlin, Arnimallee 3, D-14195, Berlin, Germany |
| |
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 |
本文献已被 SpringerLink 等数据库收录! |
|