Results 41 to 50 of about 2,874 (140)
Where Mathematical Symbols Come From
Topics in Cognitive Science, Volume 18, Issue 1, Page 169-186, January 2026.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
Ars Mathematica Contemporanea, 2016 In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting algebras, including Heyting algebras, dual skew Boolean algebras, conormal skew chains and algebras of partial maps ...
openaire +5 more sources
Some notes on Esakia spaces [PDF]
, 2014 Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and ...
Dedicated To Manuela Sobral +2 more
core
H‐Fuzzy Ideals and H‐Fuzzy Filters in Distributive Join‐Semilattices
Journal of Mathematics, Volume 2026, Issue 1, 2026.This paper investigates H‐fuzzy ideals of distributive join‐semilattices with least element 0 whose codomain is a complete lattice that satisfies the infinite meet distributive law. We also construct a number of characterizations for any H‐fuzzy ideal generated by an H‐fuzzy subset.
Mohammed Amare Mohammed +4 more
wiley +1 more source
The Lattice Structure of L‐Contact Relations
Advances in Fuzzy Systems, Volume 2016, Issue 1, 2016., 2016 From the point of view of graded truth approach, we define the notion of a contact relation on the collection of all L‐sets, discuss the connection to the set of all close, reflexive, and symmetric relations on all L‐ultrafilters on X, and investigate the algebraic structure of all L‐contact relations.
Xueyou Chen, Rustom M. Mamlook
wiley +1 more source
Merging Intuitionistic and De Morgan Logics
MathematicsWe introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive.
Minghui Ma, Juntong Guo
doaj +1 more source
Fuzzy ideals and fuzzy congruences of co-residuated lattices [PDF]
Journal of Hebei University of Science and TechnologyIn order to expand the theory of fuzzy logic algebra, the fuzzy ideals and fuzzy congruences of co-residuated lattices and their interrelationships were studied.
Xinyue HAN, Wei YAO
doaj +1 more source
Decidable quasivarieties of p‐algebras
Mathematical Logic Quarterly, Volume 71, Issue 1, February 2025.Abstract We show that for quasivarieties of p‐algebras the properties of (i) having decidable first‐order theory and (ii) having decidable first‐order theory of the finite members, coincide. The only two quasivarieties with these properties are the trivial variety and the variety of Boolean algebras. This contrasts sharply, even for varieties, with the
Tomasz Kowalski, Katarzyna Słomczyńska
wiley +1 more source
Fuzzy n‐Fold Filters of Pseudoresiduated Lattices
International Journal of Mathematics and Mathematical Sciences, Volume 2015, Issue 1, 2015., 2015 Given a pseudoresiduated lattice M and a lattice L, we introduce and characterize the fuzzy versions of different n‐fold implicative (resp., obstinate, Boolean, normal, and extended involutive) filters of M. Moreover, we study some relationships between these different types of fuzzy n‐fold filters.
Albert Kadji +3 more
wiley +1 more source
Localization of semi-Heyting algebras [PDF]
, 2016 In this note, we introduce the notion of ideal on semi-Heyting algebras which allows us to consider a topology on them. Besides, we define the concept of F−multiplier, where F is a topology on a semi-Heyting algebra L, which is used to construct the ...
Figallo, Aldo Victorio +1 more
core