A categorical analysis of compatibility frames

DOI10.1093/LOGCOM/EXAF027MaRDI QIDQ6909858zbMATH OpenFDO

Authors Neha Gaur, Bisham Dewan, Arun Kumar

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF027

zbMATH Keywords

distributive lattices with an operatordualityframes

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Finite difference and finite volume methods for ordinary differential equations (65L12) Stability and convergence of numerical methods for ordinary differential equations (65L20) Error bounds for numerical methods for ordinary differential equations (65L70) Computer science (68-XX)

Cites work

• A semantic analysis of Stone and dual Stone negations with regularity
• A study of algebras and logics of rough sets based on classical and generalized approximation spaces
• Categories of frames for modal logic
• Coproducts of De Morgan algebras
• Discrete dualities for double Stone algebras
• Distributive Lattices with a Negation Operator
• Dualities for structures of applied logics
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Duality Theories for Boolean Algebras with Operators
• Duality via Truth: Semantic frameworks for lattice-based logics
• Functorial duality for ortholattices and De Morgan lattices
• Generalized ortho negation
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4041878 (Why is no real title available?)
• scientific article; zbMATH DE number 4061191 (Why is no real title available?)
• scientific article; zbMATH DE number 3625460 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 2019882 (Why is no real title available?)
• scientific article; zbMATH DE number 5241983 (Why is no real title available?)
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• Maps and monads for modal frames
• Negation in the context of gaggle theory
• Negation in the light of modal logic
• Negation: Two points of view
• Notes on the representation of distributive modal algebras
• Positive modal logic
• Relational Representation Theorems for General Lattices with Negations
• Stone lattices: a topological approach
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• The Stone Space of an Ortholattice
• Topological duality and algebraic completions
• Topological Duality for Distributive Lattices
• Topology and duality in modal logic
• Varieties of complex algebras
• What Is Negation in a System 2020?
• What is negation?

Cited in

(1)

• Dualities in quasiorder-generated covering-based approximation spaces

This page was built for publication: A categorical analysis of compatibility frames

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