Commutative bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate additive closure and multiplicative interior operators on this class of algebras.
We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...
In this paper we investigate the relations between isometries and direct product decompositions of generalized -algebras.
We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...
In this paper, considering being a completely distributive lattice, we first introduce the concept of -fuzzy ideal degrees in an effect algebra , in symbol . Further, we characterize -fuzzy ideal degrees by cut sets. Then it is shown that an -fuzzy subset in is an -fuzzy ideal if and only if which can be seen as a generalization of fuzzy ideals. Later, we discuss the relations between -fuzzy ideals and cut sets (-nested sets and -nested sets). Finally, we obtain that the -fuzzy...
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux. Il...
An effect algebraic partial binary operation defined on the underlying set uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion of there exists an effect algebraic partial binary operation then need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra we give a necessary and sufficient condition for that existing on is an extension of defined on . Further we show that such extending exists at most...
L’« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie...