Substitution up to isomorphism
Superpositions of states and a representation theorem
Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Sur l'axiome d'Ivo Thomas
Sur les algèbres de Heyting symétriques
Sur les systèmes déductifs dans la logique -valente
Sur quelques algèbres de la Logique
Symmetric difference in orthomodular lattices
Symmetric difference on orthomodular lattices and -valued states
The investigation of orthocomplemented lattices with a symmetric difference initiated the following question: Which orthomodular lattice can be embedded in an orthomodular lattice that allows for a symmetric difference? In this paper we present a necessary condition for such an embedding to exist. The condition is expressed in terms of -valued states and enables one, as a consequence, to clarify the situation in the important case of the lattice of projections in a Hilbert space.
Syntactical theory of functors