scientific article

zbMath0296.02030MaRDI QIDQ4049062

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

Related Items (only showing first 100 items - show all)

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

This page was built for publication: