Results 41 to 50 of about 3,353 (149)
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
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
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
International Journal of Applied Mathematics and Computer ScienceThis paper introduces the concept of filters in a rough bi-Heyting algebra. The rough bi-Heyting algebra defined through the rough semiring offers interesting properties.
Praba Bashyam +1 more
doaj +1 more source
Multipliers in weak Heyting algebras [PDF]
Journal of Mahani Mathematical ResearchIn this paper, we introduce the notion of multipliers in weak Heyting algebras and investigate some related properties of them. We obtain the relations between multipliers, closure operators, and homomorphisms in weak Heyting algebras.
Shokoofeh Ghorbani
doaj +1 more source
Topos Semantics for Higher-Order Modal Logic [PDF]
, 2014 We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve +2 more
core +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
Intuitionistic-like unsharp implication and negation defined on a poset [PDF]
Mathematica BohemicaThe aim of the present paper is to show that the concepts of the intuitionistic implication and negation formalized by means of a Heyting algebra can be generalized in such a way that these concepts are formalized by means of a bounded poset.
Ivan Chajda, Helmut Länger
doaj +1 more source