Results 1 to 10 of about 28 (27)
Conjuntos construibles en modelos valuados en retículos [PDF]
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory.
Moncayo Vega, Jose Ricardo
core +1 more source
Intuitionistic quantum logic of an n-level system [PDF]
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +19 more
core +1 more source
Monotone modal operators on bounded integral residuated lattices [PDF]
summary:Bounded integral residuated lattices form a large class of algebras containing some classes of commutative and noncommutative algebras behind many-valued and fuzzy logics. In the paper, monotone modal operators (special cases of closure operators)
Rachůnek, Jiří, Svoboda, Zdeněk
core +1 more source
Fuzzy n‐Fold Filters of Pseudoresiduated Lattices
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
Partial Inner Product Spaces: Some Categorical Aspects
We make explicit in terms of categories a number of statements from the theory of partial inner product spaces (PIP‐spaces) and operators on them. In particular, we construct sheaves and cosheaves of operators on certain PIP‐spaces of practical interest.
Jean-Pierre Antoine +3 more
wiley +1 more source
Topological Properties of Prime Filters and Minimal Prime Filters on a Paradistributive Latticoid
In this paper, we study the concepts of prime filters and minimal prime filters on a paradistributive latticoid (PDL) and discuss various results. In addition, we prove that the annihilator filter S• is equal to the intersection of all prime filters not containing S.
Suryavardhani Ajjarapu +4 more
wiley +1 more source
Reasoning in quantum theory: sharp and unsharp quantum logics
The term ``quantum logic" has entered our languages as a synonym for something that doesn't make sense to our everyday rationality. Or, somewhat more technically but still in the common literature, it signifies some generic sort of ...
Giuntini, R +5 more
core +1 more source
Sheaves over Right Sided Idempotent Quantales
We present a discussion of sheaves and presheaves over an idempotent two sided quantale in a fashion that is similar to the way that these objects are conceived in by Forman and Scott [FS] over complete Heyting algebras.
Miraglia F., SOLITRO, Ugo
core

