Q5101337 (Q5101337): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 23:56, 29 July 2024

scientific article; zbMATH DE number 7577568

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7577568

Statements

scholarly article

0 references

Guram Bezhanishvili

0 references

Nick Bezhanishvili

0 references

0 references

publication date

30 August 2022

0 references

full work available at URL

https://arxiv.org/abs/2106.01628

0 references

https://lmcs.episciences.org/9870

0 references

zbMATH Keywords

neighborhood frames

0 references

coalgebra

0 references

Jónsson-Tarski duality

0 references

Thomason duality

0 references

MaRDI profile type

MaRDI publication profile

0 references

Domain theory in logical form

0 references

0 references

0 references

Algebra-coalgebra duality in brzozowski's minimization algorithm

0 references

STABLE CANONICAL RULES

0 references

STABLE MODAL LOGICS

0 references

0 references

Raney algebras and duality for \(T_0\)-spaces

0 references

Minimization via Duality

0 references

Topo-canonical completions of closure algebras and Heyting algebras

0 references

An extension of de Vries duality to completely regular spaces and compactifications

0 references

0 references

Neighbourhood Contingency Bisimulation

0 references

0 references

0 references

Generalized topology, generalized continuity

0 references

Duality between modal algebras and neighbourhood frames

0 references

0 references

Neighborhood Contingency Logic

0 references

Infinite Boolean polynomials I

0 references

Duality in Computer Science

0 references

Stone duality, topological algebra, and recognition.

0 references

Duality and Equational Theory of Regular Languages

0 references

Bounded lattice expansions

0 references

An algebraic theory of normal forms

0 references

0 references

0 references

Bounded distributive lattice expansions

0 references

\(\Delta_1\)-completions of a poset.

0 references

0 references

The Basic Concepts of Algebraic Logic

0 references

On the non-existence of free complete Boolean algebras

0 references

0 references

Introduction to Coalgebra

0 references

0 references

Boolean Algebras with Operators. Part I

0 references

Algebra and Coalgebra in Computer Science

0 references

Stone coalgebras

0 references

Stone Duality for Markov Processes

0 references

Coalgebraic semantics of modal logics: an overview

0 references

Universal grammar

0 references

The algebra of topology

0 references

Neighborhood semantics for modal logic

0 references

Duality in Logic and Computation

0 references

Universal coalgebra: A theory of systems

0 references

0 references

0 references

The sentential calculus with infinitely long expressions

0 references

The Theory of Representation for Boolean Algebras

0 references

A new proof of Sahlqvist's theorem on modal definability and completeness

0 references

Duality for \(\kappa\)-additive complete atomic modal algebras

0 references

Remarks on predicate logic with infinitely long expressions

0 references

0 references

Categories of frames for modal logic

0 references

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5101337

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5101337&oldid=36848419"