Algebraic structures formalizing the logic with unsharp implication and negation

DOI10.1093/JIGPAL/JZAD023MaRDI QIDQ7007793zbMATH OpenFDO

Authors Ivan Chajda, Helmut Länger

Publication date 25 March 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAD023

zbMATH Keywords

congruencedeductive systemfilterHeyting algebraintuitionistic logicsemilatticeunsharp implicationunsharp negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites work

• Die formalen Regeln der intuitionistischen Logik. I, II, III.
• scientific article; zbMATH DE number 3120840 (Why is no real title available?)
• scientific article; zbMATH DE number 3811640 (Why is no real title available?)
• scientific article; zbMATH DE number 2099145 (Why is no real title available?)
• scientific article; zbMATH DE number 3334190 (Why is no real title available?)
• Intuitionism and formalism.
• Les algèbres de Heyting et de Lukasiewicz trivalentes
• On Finch's conditions for the completion of orthomodular posets
• Operator residuation in orthomodular posets of finite height
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Pseudo-complements in semi-lattices
• Pseudocomplemented and Stone posets.
• Sectionally pseudocomplemented posets
• The logic of orthomodular posets of finite height

Cited in

(2)

• Intuitionistic-like unsharp implication and negation defined on a poset.
• Special filters in bounded lattices

This page was built for publication: Algebraic structures formalizing the logic with unsharp implication and negation

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