Modal operators for meet-complemented lattices

DOI10.1093/JIGPAL/JZX011zbMATH Open1405.03049arXiv1603.02489OpenAlexW2962829555MaRDI QIDQ4644586FDOQ4644586

Authors: J. L. Castiglioni, Rodolfo C. Ertola-Biraben 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.

Full work available at URL: https://arxiv.org/abs/1603.02489

Recommendations

• Modal-like operators in Boolean lattices, Galois connections and fixed points
• scientific article; zbMATH DE number 5046779
• Modal operators on commutative residuated lattices
• Quasi-modal operators on distributive nearlattices
• Distributive nearlattices with a necessity modal operator

zbMATH Keywords

necessitypossibilitymodal operatorsnon-distributive latticesmeet-complemented latticesunivocally defined operations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cited In (12)

• Equational classes of totally ordered modal lattices
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• Non-distributive relatives of ETL and NFL
• On a strong negation-based representation of modalities
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Title not available (Why is that?)
• Modes of adjointness
• Modal-like operators in Boolean lattices, Galois connections and fixed points
• Expanding \(\text{FL}_{ew}\) with a Boolean connective
• Modal operators on commutative residuated lattices
• On an operation with regular elements

This page was built for publication: Modal operators for meet-complemented lattices

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