On extensions of intermediate logics by strong negation (Q1386683)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On extensions of intermediate logics by strong negation
scientific article

    Statements

    On extensions of intermediate logics by strong negation (English)
    0 references
    0 references
    12 January 2000
    0 references
    The structure \({\mathcal E} {\mathbf N}\) of extensions of Nelson logic \(N\) (intuitionistic logic with strong negation) and its correlations with the structure \({\mathcal E} {\mathbf {Int}}\) of intermediate logics is studied. The mapping from \(\Lambda\) to \(n( \Lambda) = N + \Lambda \) is an embedding of the complete lattice \({\mathcal E} {\mathbf {Int}}\) into \({\mathcal E} {\mathbf N}\), preserving and reflecting finite model property, tabularity, completeness, frame-compactness, interpolation and decidability; moreover, \(n( \Lambda)\) is a conservative extension of \(\Lambda\). The family of inference rules is described which are admissible exactly in all logics of the form \(n ( \Lambda)\). Finally, the structure of extensions of \(n( {\mathbf {LC}})\) is described; all these extensions are finitely axiomatizable, decidable and have the fmp. The key instrument is the construction of Nelson algebras (algebras for the logic \(N\)) of a special kind -- so-called twist algebras, corresponding to Heyting algebras, and representing every Nelson algebra as a subalgebra of a twist algebra. Reviewer's remark. Some passages in the paper are slightly inaccurate. E.g., the condition \(\forall x \forall y [( x \leftrightarrow y) = ( \tilde x \leftrightarrow \tilde y) = 1 \Rightarrow ( x = y) ]\) does not follow from the given definition of Nelson algebra. The proof of preserving frame-compactness contains a minor gap; namely, the formula \(\gamma _{v( \phi)} \wedge \widehat { \phi }\) should be used instead of \(\gamma _{v( \phi)} \to \widehat { \phi }\) . And the description of extensions of \(n( {\mathbf {LC} })\) needs the following additional lemma: Every subdirectly irreducible Nelson algebra is embeddable into a twist algebra of a subdirectly irreducible Heyting algebra.
    0 references
    0 references
    0 references
    0 references
    0 references
    intermediate logics
    0 references
    strong negation
    0 references
    Nelson algebras
    0 references
    extensions of Nelson logic
    0 references
    twist algebras
    0 references