scientific article - MaRDI portal

zbMATH Open0296.02030MaRDI QIDQ4049062FDOQ4049062

Publication date: 1974

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

Topological representations of algebraic systems (54H10) Foundations, relations to logic and deductive systems (18A15) Model theory (03C99)

Cited In (only showing first 100 items - show all)

Algorithmic correspondence and canonicity for distributive modal logic
An algebraic approach to subframe logics. Intuitionistic case
Epimorphisms in varieties of residuated structures
Connected modal logics
Comparison of MacNeille, canonical, and profinite completions
A coalgebraic view on positive modal logic
The dual adjunction between MV-algebras and Tychonoff spaces
Epimorphism surjectivity in varieties of Heyting algebras
Uniform interpolation and coherence
Sahlqvist theorem for modal fixed point logic
Natural duality, modality, and coalgebra
Sahlqvist correspondence for modal mu-calculus
Admissible bases via stable canonical rules
A categorical duality for algebras of partial functions
On some classes of Heyting algebras with successor that have the amalgamation property
Restricted Priestley dualities and discriminator varieties
A categorical duality for semilattices and lattices
Stone coalgebras
When is the frame of nuclei spatial: a new approach
Topology and duality in modal logic
Topological-frame products of modal logics
Priestley duality for bilattices
Diagrammatic duality
Frontal operators in weak Heyting algebras
Foreword to the special issue dedicated to the memory of Leo Esakia
Not every splitting Heyting or interior algebra is finitely presentable
Reconstructing an open order from its closure, with applications to space-time physics and to logic
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Singly generated quasivarieties and residuated structures
On some compatible operations on Heyting algebras
Profinite completions and canonical extensions of Heyting algebras
Mathematical modal logic: A view of its evolution
Duality between modal algebras and neighbourhood frames
Around provability logic
Modal translation of substructural logics
Forbidden configurations and subframe varieties
Generalising canonical extension to the categorical setting
Modal companions of intermediate propositional logics
The enriched Vietoris monad on representable spaces
Generalized Priestley quasi-orders
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
On products of posets and coproducts of KM-algebras
Subdirectly irreducible IKt-algebras
KRULL DIMENSION IN MODAL LOGIC
A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
Profinite Heyting algebras
Gödel algebras: interactive dualities and their applications.
Involutive symmetric Gödel spaces, their algebraic duals and logic
Title not available (Why is that?)
Tarski's theorem on intuitionistic logic, for polyhedra
An open mapping theorem for finitely copresented Esakia spaces
Pro-finite MV-spaces
Cofinal stable logics
Canonical Extensions, Esakia Spaces, and Universal Models
Gödel spaces and perfect MV-algebras
Behavioural equivalences for coalgebras with unobservable moves
Esakia style duality for implicative semilattices
Funayama's theorem revisited
Toward an infinitary logic of domains: Abramsky logic for transition systems
Title not available (Why is that?)
Hofmann-Mislove through the lenses of Priestley
Characterization of metrizable Esakia spaces via some forbidden configurations
Easkia Duality and Its Extensions
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Title not available (Why is that?)
Epimorphisms in varieties of subidempotent residuated structures
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
Splittings in varieties of logic
Irreducible equivalence relations, Gleason spaces, and de Vries duality
Profiniteness and representability of spectra of Heyting algebras
Monadic \(k\times j\)-rough Heyting algebras
Difference hierarchies and duality with an application to formal languages
The Fell Compactification of a Poset
The Vietoris functor and modal operators on rings of continuous functions
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
A frame-theoretic perspective on Esakia duality
Lattice logic as a fragment of (2-sorted) residuated modal logic
On \(k\)-cyclic \(SHn\)-algebra
Positive modal logic beyond distributivity
Lattice subordinations and Priestley duality.
Deriving dualities in pointfree topology from Priestley duality
New perspectives on semi-primal varieties
On Heyting algebras with negative tense operators
On prelinear Hilbert algebras with successor
Prelinear Hilbert algebras
A duality for two-sorted lattices
Diego's theorem for nuclear implicative semilattices
Title not available (Why is that?)
Principal and Boolean congruences on \(IKt\)-algebras
Choice-free duality for orthocomplemented lattices by means of spectral spaces
Hennessy-Milner properties via topological compactness
Stone duality, topological algebra, and recognition.
Algebraic frames in Priestley duality
Nelson algebras, residuated lattices and rough sets: A survey
B-frame duality
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
Duality theory for enriched Priestley spaces

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 Q4049062)