scientific article; zbMATH DE number 3501559
From MaRDI portal
Publication:4083730
Cited in
(only showing first 100 items - show all)- Constructive logic with strong negation is a substructural logic. II
- Commutative integral bounded residuated lattices with an added involution
- Completion of Boolean algebras in MSet
- Representation and duality for Hilbert algebras
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- 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
- Disjointness conditions for free products of -groups
- On constructions of p-algebras
- Projectable and strongly projectable lattice-ordered groups
- \({\mathcal F}\)-multipliers and the localization of distributive lattices
- On the concept of fuzzy point
- De Morgan algebras are universal
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Coherent De Morgan algebras
- Isomorphic sheaf representations of normal lattices
- Fuzzy sets and De Morgan algebras
- Semiprime ideals in general lattices
- Quantifier elimination for Stone algebras
- Duality for modal \(\mu\)-logics
- Catalytic distributive lattices
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- Polynomvollständige, atomistische Polaritätsverbände
- 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 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
- Algebraic logic for classical conjunction and disjunction
- Priestley duality and quotient lattices of many-valued algebras
- A topological representation of lattices
- The variety of Boolean semirings
- 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
- Relative pseudo-complements, join-extensions, and meet-retractions
- Complete rings of sets and sentential logic
- Amalgamation in categories with concrete duals
- The lattice of global sections of sheaves of chains over Boolean spaces
- Generalized relatively pseudocomplemented lattices
- Prime spectra of lattice-ordered abelian groups
- Implicational classes of De Morgan lattices
- Definitional equivalence and algebraizability of generalized logical systems
- Completions of orthomodular lattices. II
- Series-parallel posets and relative Ockham lattices
- Algebraic study of Sette's maximal paraconsistent logic
- 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
- The Lee identities in topoi. I
- Three notes on distributive lattices
- A logic for rough sets
- On the lattice of deductive systems of a BL-algebra
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Finite free generating sets
- Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals
- Algebraic and topological results on lifting properties in residuated lattices
- Subdirectly irreducible IKt-algebras
- The strong version of a sentential logic
- Expansions of dually pseudocomplemented Heyting algebras
- Semilattices global valuations in the topos approach to quantum mechanics
- On congruences in weak implicative semi-lattices
- On derived algebras and subvarieties of implication zroupoids
- A topological duality for monadic MV-algebras
- Tarski's theorem on intuitionistic logic, for polyhedra
- The Cantor-Bernstein-Schröder theorem via universal algebra.
- 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
- Fuzzy n-fold filters of pseudoresiduated lattices
- Localization of \(LM_n\)-algebras
- Congruences on near-Heyting algebras
- Principal and Boolean congruences on IKt-algebras
- Kleene algebra of partial predicates
- 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 _0-categorical groups
- Functor category dualities for varieties of Heyting algebras
- Idempotent and co-idempotent stack filters and min--max operators.
- Algebraic study of two deductive systems of relevance logic
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
- A complete many-valued logic with product-conjunction
- Finitely generated relatively universal varieties of Heyting algebras
- Distributive-lattice semantics of sequent calculi with structural rules
- A category equivalence for odd Sugihara monoids and its applications
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 Q4083730)
