Results 21 to 30 of about 85 (58)
Completely representable lattices [PDF]
, 2012 t is known that a lattice is representable as a ring of sets iff the lattice is distributive. CRL is the class of bounded distributive lattices (DLs) which have representations preserving arbitrary joins and meets.
Egrot, R, Hirsch, R
core +2 more sources
Distributive Residuated Frames and Generalized Bunched Implication Algebras [PDF]
, 2017 We show that all extensions of the (non-associative) Gentzen system for distributive full Lambek calculus by simple structural rules have the cut elimination property.
Galatos, Nikolaos, Jipsen, Peter
core +2 more sources
Compatible operations on commutative weak residuated lattices [PDF]
, 2022 Compatibility of functions is a classical topic in Universal Algebra related to the notion of affine completeness. In algebraic logic, it is concerned with the possibility of implicitly defining new connectives.
San Martín, Hernán Javier
core
The characterization of Nelson algebras by Sheffer stroke
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria MatematicaIn this study, Sheffer stroke Nelson algebras (briefly, s-Nelson algebras), (ultra) ideals, quasi-subalgebras, quotient sets, and fuzzy structures on these algebraic structures are introduced.
Oner Tahsin +2 more
doaj +1 more source
Applications of Contractive-like Mapping Principles to Fuzzy Equations [PDF]
We recall a recent extension of the classical Banach fixed point theorem to partially ordered sets and justify its applicability to the study of the existence and uniqueness of solution for fuzzy and fuzzy differential equations.
Nieto, Juan J. +1 more
core +2 more sources
A Minimal Congruence Lattice Representation for ₚ₊₁ [PDF]
, 2020 Let p be an odd prime. The unary algebra consisting of the dihedral group of order 2p, acting on itself by left translation, is a minimal congruence lattice representation of p ...
Bunn, Roger +3 more
core +1 more source
Dominance and Transmissions in Supertropical Valuation Theory [PDF]
, 2011 This paper is a sequel of [IKR1], where we defined supervaluations on a commutative ring $R$ and studied a dominance relation $\phi \geq \psi$ between supervaluations $\phi$ and $\psi$ on $R$, aiming at an enrichment of the algebraic tool box for use in ...
Izhakian, Zur +2 more
core +2 more sources
Boolean topological distributive lattices and canonical extensions, [PDF]
, 2007 . This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions of distributive lattices.
B A Davey, H A Priestley, M Haviar
core +2 more sources
Topological rewriting systems applied to standard bases and syntactic algebras [PDF]
, 2019 International audienceWe introduce topological rewriting systems as a generalisation of abstract rewriting systems, where we replace the set of terms by a topological space.
Chenavier, Cyrille
core +5 more sources
Convergence and quantale-enriched categories [PDF]
, 2017 Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology.
Hofmann, Dirk, Reis, Carla
core +2 more sources