scientific article; zbMATH DE number 7577568
From MaRDI portal
Publication:5101337
Nick Bezhanishvili, Guram Bezhanishvili, Jim de Groot
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/2106.01628
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coalgebraic semantics of modal logics: an overview
- An extension of de Vries duality to completely regular spaces and compactifications
- Stone coalgebras
- Duality for \(\kappa\)-additive complete atomic modal algebras
- Raney algebras and duality for \(T_0\)-spaces
- Domain theory in logical form
- An algebraic theory of normal forms
- Universal coalgebra: A theory of systems
- Duality between modal algebras and neighbourhood frames
- Generalized topology, generalized continuity
- \(\Delta_1\)-completions of a poset.
- Neighborhood semantics for modal logic
- Topo-canonical completions of closure algebras and Heyting algebras
- The algebra of topology
- STABLE CANONICAL RULES
- Introduction to Coalgebra
- Minimization via Duality
- Neighborhood Contingency Logic
- The Basic Concepts of Algebraic Logic
- Duality and Equational Theory of Regular Languages
- Categories of frames for modal logic
- Duality in Computer Science
- A new proof of Sahlqvist's theorem on modal definability and completeness
- Bounded distributive lattice expansions
- STABLE MODAL LOGICS
- Neighbourhood Contingency Bisimulation
- Duality in Logic and Computation
- Stone Duality for Markov Processes
- Infinite Boolean polynomials I
- Algebra-coalgebra duality in brzozowski's minimization algorithm
- Algebra and Coalgebra in Computer Science
- Universal grammar
- The sentential calculus with infinitely long expressions
- Remarks on predicate logic with infinitely long expressions
- On the non-existence of free complete Boolean algebras
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
- Stone duality, topological algebra, and recognition.
This page was built for publication:
