scientific article; zbMATH DE number 7301527

zbMATH Open1456.68113MaRDI QIDQ5146648FDOQ5146648

Authors: Luca Bernardinello, Stefania Rombolà, Lucia Pomello 

Publication date: 26 January 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2009.2

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4955602
• Some properties of congruence relations on orthomodular lattices
• Implications and equivalences in orthomodular lattices
• Orthomodular lattices and permutable congruences
• Relatively orthomodular lattices
• Orthomodular lattices and quantales
• scientific article; zbMATH DE number 1471993
• Conditional associativity in orthomodular lattices
• Publication:4935890
• Congruence relations on lattice implication algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cited In (10)

• New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions
• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• Between quantum logic and concurrency
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• Closed sets in occurrence nets with conflicts
• Regular orthomodular posets
• Title not available (Why is that?)
• Concurrency-preserving minimal process representation
• A generalized modal logic in causal structures

This page was built for publication:

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