scientific article; zbMATH DE number 3501559
From MaRDI portal
zbMath0321.06012MaRDI QIDQ4083730
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure and representation theory of distributive lattices (06D05) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items
Idempotent and co-idempotent stack filters and min--max operators., \({\mathcal F}\)-multipliers and the localization of distributive lattices, On the concept of fuzzy point, De Morgan algebras are universal, Series-parallel posets and relative Ockham lattices, Algebraic study of Sette's maximal paraconsistent logic, Algebraic study of two deductive systems of relevance logic, Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Coherent De Morgan algebras, Isomorphic sheaf representations of normal lattices, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, On the representation of partially ordered sets, The algebraic relational theory in the analysis of the reversibility of biological processes becoming malignant, \(k\)-parametrizable algebras, Fuzzy sets and De Morgan algebras, The Lee identities in topoi. I, Semiprime ideals in general lattices, A complete many-valued logic with product-conjunction, Finitely generated relatively universal varieties of Heyting algebras, Quantifier elimination for Stone algebras, Three notes on distributive lattices, Algebraic and topological results on lifting properties in residuated lattices, Duality for modal \(\mu\)-logics, Subdirectly irreducible IKt-algebras, The strong version of a sentential logic, Expansions of dually pseudocomplemented Heyting algebras, Distributive-lattice semantics of sequent calculi with structural rules, A logic for rough sets, A category equivalence for odd Sugihara monoids and its applications, Catalytic distributive lattices, Subdirectly irreducible pseudocomplemented De Morgan algebras, On the lattice of deductive systems of a BL-algebra, Homology of distributive lattices, Semilattices global valuations in the topos approach to quantum mechanics, On congruences in weak implicative semi-lattices, Polynomvollständige, atomistische Polaritätsverbände, On derived algebras and subvarieties of implication zroupoids, A topological duality for monadic MV-algebras, Tarski's theorem on intuitionistic logic, for polyhedra, Distributivity of coproducts over products, Algebraic and relational semantics for tense logics, The face lattice of an \(n\)-dimensional cube, A couple of triples, The powerset operator on abstract interpretations, The lattice structure of some Lukasiewicz algebras, Logical operators on complete lattices, A characterization of primitive Boolean algebras, L-\(\sigma\)-algebras and L-measures, Orthomodular lattices whose MacNeille completions are not orthomodular, Quantifiers on distributive lattices, Fuzzy prime ideal theorem in residuated lattices, The Cantor-Bernstein-Schröder theorem via universal algebra., Algebraic logic for classical conjunction and disjunction, From Freudenthal's spectral theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra, An open mapping theorem for finitely copresented Esakia spaces, Priestley duality and quotient lattices of many-valued algebras, A topological representation of lattices, MacNeille transferability and stable classes of Heyting algebras, The variety of Boolean semirings, Fuzzy \(n\)-fold filters of pseudoresiduated lattices, Verifying minimum spanning tree algorithms with Stone relation algebras, The Heyting arrow lattice for qualitative relations in biological systems, Quasivarieties of distributive \(p\)-algebras, The lattice of distributive closure operators over an algebra, Algebras with modular lattice reducts and simple subdirectly irreducibles, Localization of \(LM_n\)-algebras, Relative pseudo-complements, join-extensions, and meet-retractions, Complete rings of sets and sentential logic, Congruences on near-Heyting algebras, Principal and Boolean congruences on \(IKt\)-algebras, Amalgamation in categories with concrete duals, Kleene algebra of partial predicates, The lattice of global sections of sheaves of chains over Boolean spaces, Generalized relatively pseudocomplemented lattices, Symmetric implication zroupoids and identities of Bol-Moufang type, On special elements and pseudocomplementation in lattices with antitone involutions, Fuzzy common knowledge, The lattices of prefixes and overlaps of traces, Boolean products of lattices, Fixed points in free process algebras. I, Pro-finite MV-spaces, Distributive lattices with a dual homomorphic operation. II, On the structure of varieties with equationally definable principal congruences. I, On the structure of \(\aleph_0\)-categorical groups, Prime spectra of lattice-ordered abelian groups, Boolean connection algebras: A new approach to the Region-Connection Calculus, Finite free generating sets, Implicational classes of De Morgan lattices, Definitional equivalence and algebraizability of generalized logical systems, Affine complete double Stone algebras with bounded core, Relative De Morgan lattices, The category of Z-continuous posets, A necessary and sufficient condition for a product relation to be total, Reflexive algebras with finite width lattices: Tensor products, cohomology, compact perturbations, Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals, Functor category dualities for varieties of Heyting algebras, Disjointness conditions for free products of \(\ell\)-groups, On constructions of p-algebras, Completions of orthomodular lattices. II, Projectable and strongly projectable lattice-ordered groups, Modules with fusion and implication based over distributive lattices: representation and duality, Uniform interpolation and compact congruences, The dual Heyting arrow lattice for biologic relational processes, An algebraic approach to subframe logics. Intuitionistic case, Minimization of lattice finite automata and its application to the decomposition of lattice languages, \(L\)-algebras and three main non-classical logics, Varieties of complex algebras, Boolean lifting property in quantales, On typical hesitant fuzzy automata, A duality for two-sorted lattices, On pseudo BL-algebras with internal state, The stable topology for residuated lattices, The central decomposition of \(FD_{01}(n)\), Bounded distributive lattices with two subordinations, Semisimple varieties of implication zroupoids, Effective categoricity for distributive lattices and Heyting algebras, Lattice structures for attractors. III, A Heyting algebra on Dyck paths of type \(A\) and \(B\), Consequence and Degrees of Truth in Many-Valued Logic, Insertion of lattice-valued functions for some topological spaces, Intermediate logics admitting a structural hypersequent calculus, A deterministic weakening of Belnap-Dunn logic, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Remarks on hyperspaces for Priestley spaces, Unnamed Item, Epimorphism surjectivity in varieties of Heyting algebras, Stone duality for spectral sheaves and the patch monad, Some modifications of hull operators in Archimedean lattice-ordered groups with weak unit, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Relation-algebraic verification of Borůvka's minimum spanning tree algorithm, Characterising E-projectives via Comonads, Discrete duality for Nelson algebras with tense operators, Intuitionistic propositional logic with Galois negations, Hilbert algebras with Hilbert-Galois connections, Interior and closure operators on bounded residuated lattices, Lattice-theoretic properties of algebras of logic, Topological duality and lattice expansions. I: A topological construction of canonical extensions., Epimorphisms in varieties of subidempotent residuated structures, Rough Sets - Past, Present and Future: Some Notes, Profiniteness and representability of spectra of Heyting algebras, On the lattice of \(n\)-filters of an \(\mathrm{LM}_n\)-algebra, Defining rough sets as core-support pairs of three-valued functions, On a new construction of pseudocomplemented semilattices, On derivations of lattices, Fuzzy prime ideals of pseudo-MV algebras, Dualities for subresiduated lattices, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Congruence permutable Kleene-Stone algebras, De Morgan functions and free De Morgan algebras., Varieties of regular pseudocomplemented De Morgan algebras, \(LM_{n}\)-algebra of fractions and maximal \(LM_{n}\)-algebra of fractions, Nearly spectral spaces, Decision methods for linearly ordered Heyting algebras, Ideals and involutive filters in generalizations of fuzzy structures, The lattice of prefilters of an EQ-algebra, A categorical approach to lattice-valued fuzzy automata, On a definition of a variety of monadic \(\ell\)-groups., Fuzzy regular languages over finite and infinite words, Closure Łukasiewicz algebras, The relationships among several types of fuzzy automata, On two fragments with negation and without implication of the logic of residuated lattices, The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property, Constructive logic and the Medvedev lattice, Fuzzy propositional logic associated with quantum computational gates, Existentially closed de Morgan algebras, Prelinear Hilbert algebras, On prelinear Hilbert algebras with successor, Prime, minimal prime and maximal ideals spaces in residuated lattices, Flat topology on the spectra of quantales, Finite distributive nearlattices, Residuated EQ-algebras may not be residuated lattices, Representations of MV-algebras by sheaves, Algebras of incidence structures: representations of regular double p-algebras, Canonical extensions, free completely distributive lattices, and complete retracts, Extended contact algebras and internal connectedness, An algebraic study of S5-modal Gödel logic, Hyper-MacNeille completions of Heyting algebras, Semidistributivity and whitman property in implication zroupoids, Comparing the degrees of enumerability and the closed Medvedev degrees, On an operation with regular elements, Compatibly involutive residuated lattices and the Nelson identity, Variations of the free implicative semilattice extension of a Hilbert algebra, Symmetric implication zroupoids and weak associative laws, Rough \(L\)-fuzzy sets: their representation and related structures, On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras, A proof-theoretic approach to negative translations in intuitionistic tense logics, Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras, Characterization of metrizable Esakia spaces via some forbidden configurations, Distributivity versus associativity in the homology theory of algebraic structures, Chromatic numbers and products, BL-algebra of fractions and maximal BL-algebra of quotients, Natural dualities for varieties of BL-algebras, Physical properties as modal operators in the topos approach to quantum mechanics, Stone algebras: 3-valued logic and rough sets, A categorial equivalence for semi-Nelson algebras, Distributive bilattices from the perspective of natural duality theory., On relative principal congruences in term quasivarieties, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets., A categorical equivalence for tense Nelson algebras, A generalization of monadic \(n\)-valued Łukasiewicz algebras, Pseudo Commutative Double Basic Algebras, The cylindric algebras of three-valued logic, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Representable idempotent commutative residuated lattices, Congruence Boolean Lifting Property, A variety of algebras closely related to subordination algebras, Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL, Unnamed Item, Unnamed Item, Unnamed Item, One-Variable Equational Compactness in Partially Distributive Semilattices with Pseudocomplementation, Free Modal Pseudocomplemented De Morgan Algebras, Filtering unification and most general unifiers in modal logic, Note on a six-valued extension of three-valued logic, Ideals of core regular double Stone algebra, Unnamed Item, On an interpretation of second order quantification in first order intuitionistic propositional logic, Some remarks on the algebraic structure of the Medvedev Lattice, Unnamed Item, Distributive and completely distributive lattice extensions of ordered sets, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, The structure of algebraically and existentially closed Stone and double Stone algebras, An infinity of super-Belnap logics, INITIAL SEGMENTS OF THE DEGREES OF CEERS, The Lattice of Contact Relations on a Boolean Algebra, Unnamed Item, Unnamed Item, A note on chain‐based semi‐Heyting algebras, Varieties of pseudocomplemented Kleene algebras, A characterization of Stone and linear Heyting algebras, Unnamed Item, McKinsey-Tarski algebras: an alternative pointfree approach to topology, On Heyting algebras with negative tense operators, Modelling Uncertainty in Architectures of Parametric Component-Based Systems, Reticulation of a quantale, pure elements and new transfer properties, The variety of modal weak Gödel algebras, On the variety of strong subresiduated lattices, An algebraic approach to intuitionistic connectives, Spectral Spaces Versus Distributive Lattices: A Dictionary, Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras), Unnamed Item, Checking Admissibility Using Natural Dualities, Maximal and minimal prime ideals of incidence algebras, Unnamed Item, Unnamed Item, Unnamed Item, MacNeille completions and canonical extensions, Decidability problem for finite Heyting algebras, Free products of lattice ordered groups, Mereocompactness and Duality for Mereotopological Spaces, A completion-invariant extension of the concept of quasi C-continuous lattices, On Kleene algebras, Decompositions for Relatively Normal Lattices, Priestley's duality from Stone's, Natural dualities for varieties of MV-algebras. I, The subquasivariety lattice of a discriminator variety, Modal operators on bounded commutative residuated ℓ-monoids, Linear Heyting algebras with a quantifier, Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Unnamed Item, Spatial relations between indeterminate regions, Cubical Type Theory: a constructive interpretation of the univalence axiom, Unnamed Item, Algebraic semantics for quasi-classical modal logics, Fuzzy semantics for multiple-conclusion sequential calculi with structural rules, Affine complete Stone algebras, Isomorphism Universal Varieties of Heyting Algebras, Annihilators in Normal Autometrized Algebras, The Fraser-Horn and Apple Properties, Regular bilattices, Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions, Lattice NExtS4 from the Embedding Theorem Viewpoint, Unnamed Item, Finitely generated free Heyting algebras, Unnamed Item, Tensor products of distributive lattices and their Priestley duals, MS-almost distributive lattices, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Semi-Heyting Algebras and Identities of Associative Type, Unnamed Item, Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations, Unnamed Item, Fans in the theory of real semigroups, Easkia Duality and Its Extensions, An abstract algebraic logic approach to tetravalent modal logics, Subprevarieties versus extensions. Application to the logic of paradox, Quasi-Nelson algebras and fragments, BL-global representations, Solution to open problems on fuzzy filters in logical algebras and secure communication encoding scheme on filters, Regularity in residuated lattices, Ockham Algebras—An Urquhart Legacy, EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS, A note on distributive double p-algebras, Unnamed Item, Unnamed Item, Tense operators on distributive lattices with implication, Decomposition of domains, Computable Heyting algebras with distinguished atoms and coatoms, Relational representation for subordination Tarski algebras, Priestley-style duality for DN-algebras, A solution to the MV-spectrum problem in size aleph one, Continuation sheaves in dynamics: sheaf cohomology and bifurcation, Characterizations of near-Heyting algebras, A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, On a statement of O. Frink about free pseudo-complemented meet-semilattices, Valuative Lattices and Spectra, Unnamed Item, The Medvedev lattice of computably closed sets, Insertion of lattice-valued and hedgehog-valued functions, The strong endomorphism kernel property for modular p-algebras and for distributive lattices, A universal Krull-Lindenbaum theorem, A new approach for classification of filters in residuated lattices, Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections., Integrally closed residuated lattices, Raney algebras and duality for \(T_0\)-spaces, Lattices of convex normal functions, An implicit function theorem for regular fuzzy logic functions, Order in implication zroupoids, A bi-intuitionistic modal logic: foundations and automation, Concurrent Kleene algebra with tests and branching automata, Weighted automata and weighted logics with discounting, A note on regular De Morgan semi-Heyting algebras, Semantical conditions for the definability of functions and relations, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Injective and projective \(T\)-Boolean algebras, Truth values on generalizations of some commutative fuzzy structures, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Decidable theories of non-projectable \(l\)-groups of continuous functions, Fuzzy prime Boolean filters and their operations in IMTL-algebras, Generalized Bosbach states. II, The fixed set of a derivation in lattices, Natural factors of the Muchnik lattice capturing IPC, MV-algebras freely generated by finite Kleene algebras., Funayama's theorem revisited, Bounded lattice structured discriminator varieties, Super-De Morgan functions and free De Morgan quasilattices, Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, Discrete dualities for some algebras with relations, Boolean lifting property for residuated lattices, An algebraic axiomatization of the Ewald's intuitionistic tense logic, Some types of filters in residuated lattices, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Topological representation of lattice homomorphisms, Extremal states on bounded residuated \(\ell\)-monoids with general comparability, State operators on generalizations of fuzzy structures, The Conrad program: from \(l\)-groups to algebras of logic., The variety generated by semi-Heyting chains, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Canonical extensions for congruential logics with the deduction theorem, The algebra of conditional logic, Fuzzy ideals on a distributive lattice, Principal congruences on some lattice-ordered algebras, On some filters and ideals of the Medvedev lattice, The Alexandroff one-point compactification as a prototype for extensions, Mathematical structures of simple voting games, Logics for stable and unstable mereological relations, Prime filters and ideals in distributive lattices, Coproducts of distributive lattice-based algebras., A note on congruences of semilattices with sectionally finite height., Distributive contact lattices: topological representations, Constructive logic with strong negation is a substructural logic. I, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Ordering the order of a distributive lattice by itself, Gödel algebras: interactive dualities and their applications., Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras, Normal residuated lattices, On \(n \times m\)-valued Łukasiewicz-Moisil algebras, Distributive mereotopology: extended distributive contact lattices, On derivations and their fixed point sets in residuated lattices, Intermediate logics and factors of the Medvedev lattice, Cofinal stable logics, Factor congruence lifting property, \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices, On products of posets and coproducts of KM-algebras, The Belluce-lattice associated with a bounded Hilbert algebra, On implicator groupoids, Stone duality and Gleason covers through de Vries duality, An analysis of Ruspini partitions in Gödel logic, Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules, Convex normal functions revisited, Alternating states for dual nondeterminism in imperative programming, A Sahlqvist theorem for distributive modal logic, The axiomatization of override and update, On lattices whose congruences form Stone lattices, Constructive logic with strong negation is a substructural logic. II, Free pseudocomplemented semilattices: a new approach., Data types over multiple-valued logics, Symbolic constraint handling through unification in finite algebras, Fixed points in finite De Morgan algebras, Resolution of algebraic systems of equations in the variety of cyclic Post algebras, Expansions of semi-Heyting algebras. I: Discriminator varieties, Commutative integral bounded residuated lattices with an added involution, Completion of Boolean algebras in MSet, Representation and duality for Hilbert algebras, On the free frontal implicative semilattice extension of a frontal Hilbert algebra, Multiplicative and implicative derivations on residuated multilattices, On two new classes of stabilizers in residuated lattices, Lattice-valued fuzzy Turing machines: computing power, universality and efficiency, Enumerating fuzzy switching functions and free Kleene algebras, Complementing lattice-ordered groups: The projectable case, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Region connection calculus: Its models and composition table, Generalized region connection calculus, Finiteness based results in BL-algebras, Regular grammars with truth values in lattice-ordered monoid and their languages
