Functional monadic ortholattices and locally finite -free polyadic ortholattices

DOI10.1007/S00012-025-00912-9MaRDI QIDQ6872569zbMATH OpenFDO

Authors Chun-Yu Lin, Joseph McDonald

Publication date 20 January 2026

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00012-025-00912-9

zbMATH Keywords

cylindric ortholatticefunctional algebramonadic ortholatticepolyadic ortholatticeregular completionsuper-amalgamation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Complete lattices, completions (06B23) Complemented lattices, orthocomplemented lattices and posets (06C15) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Cites work

• A construction of cylindric and polyadic algebras from atomic relation algebras
• Amalgamation of ortholattices
• Atomic orthocomplemented lattices
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Cylindric algebras. Part II
• Cylindric and Polyadic Algebras
• Functional monadic Heyting algebras.
• scientific article; zbMATH DE number 3142899 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 1463148 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• Lattice Theory: Foundation
• Monadic ortholattices: completions and duality
• Orthomodular lattices whose MacNeille completions are not orthomodular
• Quantifiers and orthomodular lattices
• Quantum monadic algebras
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Semantic analysis of orthologic
• The logic of quantum mechanics

This page was built for publication: Functional monadic ortholattices and locally finite \(\sigma\)-free polyadic ortholattices

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