Residuated structures and orthomodular lattices

DOI10.1007/s11225-021-09946-1zbMath1487.03074OpenAlexW3153150069MaRDI QIDQ2062191

Francesco Paoli, Antonio Ledda, Davide Fazio

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09946-1

zbMATH Keywords

orthomodular latticecompletionDedekind-MacNeille completionresiduated latticequantum structureleft-residuated groupoidresiduated groupoid

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Recursively (computably) enumerable sets and degrees (03D25) Abstract algebraic logic (03G27)

Related Items (1)

A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Algebraic proof theory: hypersequents and hypercompletions
• Ideals in universal algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• On (finite) distributive lattices with antitone involutions.
• The join of the variety of MV-algebras and the variety of orthomodular lattices
• Many-valued quantum algebras
• Commutative basic algebras and non-associative fuzzy logics
• Sequent-systems and groupoid models. I
• On subtractive varieties II: General properties
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Completions of orthomodular lattices. II
• Completions of orthomodular lattices
• Substructural logics: a primer
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Ideals and congruences of basic algebras
• Join-completions of partially ordered algebras
• Are basic algebras residuated structures?
• Involutive right-residuated l-groupoids
• MacNeille completions of lattice expansions
• Atomic orthocomplemented lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• A characterization of commutative basic algebras
• Logics without the contraction rule
• Central and Exchange Properties of Orthomodular Lattices
• Orthomodular lattices can be converted into left residuated l-groupoids
• Bounded lattices with antitone involutions and properties of MV-algebras
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• A note on residuated po-groupoids and lattices with antitone involutions
• NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
• A non-associative generalization of MV-algebras
• Mathematical Foundations of Computer Science 2003
• Coordinatization of Orthocomplemented and Orthomodular Posets
• Universal and internal properties of some extensions of partially orderd sets.
• Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets.

This page was built for publication: Residuated structures and orthomodular lattices