Betweenness algebras

DOI10.1017/JSL.2023.86MaRDI QIDQ7262743zbMATH OpenFDO

Authors Ivo Düntsch, Rafał Gruszczyński, Paula Menchón

Publication date 12 June 2026

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2023.86

zbMATH Keywords

betweenness relationbinary operatorsBoolean algebras with operatorsmodal algebrassufficiency algebrasternary relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites work

• A characterization of ordered sets and lattices via betweenness relations
• A new set of postulates for betweenness, with proof of complete independence.
• Betweenness and Comparability Obtained from Binary Relations
• Boolean algebras arising from information systems
• Boolean Algebras with Operators. Part I
• Dualities for structures of applied logics
• Duality Theories for Boolean Algebras with Operators
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• scientific article; zbMATH DE number 3634224 (Why is no real title available?)
• scientific article; zbMATH DE number 1735914 (Why is no real title available?)
• Inaccessible worlds
• Mathematical modal logic: A view of its evolution
• Mixed algebras and their logics
• Modal logic
• Semantic analysis of orthologic
• Sets of independent postulates for betweenness.
• Tarski's System of Geometry
• Trees, Lattices, Order, and Betweenness
• Zur Axiomatik der teilweise geordneten Mengen

Cited in

(1)

• Towards a logic of affordances

This page was built for publication: Betweenness algebras

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