ORDER ALGEBRAS

DOI10.1515/DEMA-2002-0102MaRDI QIDQ4531184zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Radomír Halaš

Publication date 2002

Published in Demonstratio Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1515/dema-2002-0102

zbMATH Keywords

idealimplication algebraorder algebraRees congruence

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Algebraic aspects of posets (06A11) Subalgebras, congruence relations (08A30)

Review text

The authors consider ordered sets with a greatest element. An algebra \({\mathcal P}= (P;\cdot,1)\) of type \((2,0)\) is called an order algebra if the following binary operation holds: If \(x\leq y\) then \(x\cdot y= 1\), and \(x\cdot y= y\) otherwise. Order algebras are connected with an implication modelling in intuitionistic logic. Theorem 1: The assigned order algebra \({\mathcal P}= (P;\cdot,1)\) is an implication algebra if and only if \((P;\leq)\) does not contain a chain of length \(n> 2\). Theorem 3: To every ideal \(I\) of \({\mathcal P}\) there exists a unique congruence \(\theta\in\text{Con\,}{\mathcal P}\) such that \([1]_\theta= I\). This congruence \(\theta\) is a Rees congruence. Theorem 4: Every order algebra is permutable, congruence distributive and weakly regular.

Recommendations

• Order algebras
• The variety generated by order algebras.
• An algebraic theory of order
• scientific article; zbMATH DE number 3861784
• The algebraic theory of order
• scientific article; zbMATH DE number 3557832
• Ordered domain algebras
• On order types of linear basic algebras.
• Higher-order order-sorted algebras

Cited in

(15)

• The variety generated by order algebras.
• On Hilbert algebras generated by the order
• Imbrication algebras -- algebraic structures of nesting order
• Hilbert algebras as implicative partial semilattices
• Some properties of the induced ordering in FI algebras.
• Pre A^*-algebra with order relation
• Order structures based on interior
• Discriminator order algebras
• scientific article; zbMATH DE number 3897000 (Why is no real title available?)
• Prior's OIC nonconservativity example revisited
• scientific article; zbMATH DE number 2158338 (Why is no real title available?)
• Completeness of order algebras
• Quotients and subalgebras of sup-algebras.
• An exploration of weak Heyting algebras: characterization and properties
• Extended-order algebras

This page was built for publication: ORDER ALGEBRAS

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