La catégorie des algèbres quantifiées
La neige est blanche ssi... Prédication et perception
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...
Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
Lattice effect algebras densely embeddable into complete ones
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’autre axiome du choix
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...
Laws of large numbers and the central limit theorems on a logic
Lawvere's elementary theories and polyadic and cylindric algebras
Lax descent theorems for left exact categories [Book]
Le lien entre la logique et la géométrie via les esquisses
Le spectre d'un anneau dans l'algèbre constructive et applications à la dimension
Lectures on cylindric set algebras
Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
Letter to the editor: Consistency of LPC+Ch
In his paper [Kybernetika 31, No. 1, 99–106 (1995; Zbl 0857.03042)], E. Turunen says in the corollary on p. 106: “Notice that the third last line on page 195 in [J. K. Mattila, “Modifier logic”, in: J. Kacprzyk (ed.) et al., Fuzzy logic for the management of uncertainty. New York: Wiley. 191–209 (1992)] stating that LPC+Ch calculus is consistent is not correct.” The system LPC+Ch is consistent, which can be seen quite trivially.
Lex-ideals of DR-monoids and GMV-algebras
Löb operators and interior operators
Localic completion of generalized metric spaces I.
Logical Aggregation Based on Interpolative Boolean Algebra.
Logical cover spaces
Logically orientated cluster analysis
Logics with separating sets of measures