scientific article; zbMATH DE number 3920447

MaRDI QIDQ3695260zbMATH OpenFDO

Authors Kajetan Šeper

Publication date 1985

zbMATH Keywords

absolute symmetric Skolem algebrascontraconnectivescontradeduction rulescontrasequentsdualitysymmetric intuitionist logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Distributive lattices (06D99)

Recommendations

• scientific article; zbMATH DE number 4039861
• Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
• Strong negation in intuitionistic style sequent systems for residuated lattices
• Symmetric and dual paraconsistent logics
• Semi-intuitionistic logic with strong negation

Cited in

(3)

• scientific article; zbMATH DE number 4039861 (Why is no real title available?)
• Skolem’s Theorem in Coherent Logic
• Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3695260)