Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
Ring-like structures with unique symmetric difference related to quantum logic
Ring-like quantum structures generalizing Boolean rings and having the property that the terms corresponding to the two normal forms of the symmetric difference in Boolean algebras coincide are investigated. Subclasses of these structures are algebraically characterized and related to quantum logic. In particular, a physical interpretation of the proposed model following Mackey's approach to axiomatic quantum mechanics is given.
Rough subalgebras of some binary algebras connected with logics.
Roughness of Filters in Lattice Implication Algebras
As a generalization of filters in lattice implication algebras, the notion of rough filters in lattice implication algebras is introduced, and some of their properties are considered.
Sémantique catégorique des constructeurs de types d'ordre supérieur
Sémantique catégorique des types : comprendre le système F
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Semiobservables on quantum logics
Sequential convergences on -algebras
Short Note: Counting Conjectures.
Signed states on a logic
Simultaneous strategies and Boolean games of uncountable length
Skew -sets coincide with -posets
Sober spaces and continuations.
Sobre funciones de negación en [0,1].
In [12] Trillas proved that (P(X),∩,U,-n) is a quasi-Boolean algebra if and only if its negation has an additive generator. In this paper such result is generalized to PJ(X) and the symmetry of J is analized.From the results of Esteva ([11]) weak negations on [0,1] are studied; it is proved that such functions are monotonic, non-increasing, left-continuous and symmetrical with respect to y=x. Their classification relative to C([0,1]) is also given and a canonical element of each class is found....
Some distributivities in GBbi-QRs characterizing Boolean rings
This paper presents some manner of characterization of Boolean rings. These algebraic systems one can also characterize by means of some distributivities satisfied in GBbi-QRs.
Some operations on lattice implication algebras.
Some problems of BCK-algebras and Griss type algebras
Some properties of epimorphisms of Hilbert algebras
This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such epimorphisms only for implication algebras, the following results will make possible the construction of some examples of epimorphisms which are not surjective functions. Also, we will show that the study of epimorphisms of Hilbert algebras is equivalent with the study of epimorphisms of Hertz algebras.
Some properties of Eulerian lattices
In this paper, we prove that Eulerian lattices satisfying some weaker conditions for lattices or some weaker conditions for 0-distributive lattices become Boolean.