Intuitionistic-like unsharp implication and negation defined on a poset.

DOI10.21136/MB.2024.0179-23MaRDI QIDQ6893955zbMATH OpenFDO

Authors Ivan Chajda, Helmut Länger

Publication date 25 November 2025

Published in Mathematica Bohemica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21136/MB.2024.0179-23

zbMATH Keywords

adjoint operatorbounded posetdeductive systemequivalence relation induced by a deductive systemlogical connectives defined on a posetModus Ponensunsharp implicationunsharp negation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Algebraic aspects of posets (06A11) Pseudocomplemented lattices (06D15) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites work

• Algebraic structures formalizing the logic with unsharp implication and negation
• 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 1912565 (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
• 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

This page was built for publication: Intuitionistic-like unsharp implication and negation defined on a poset.

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