GL-Quantales: Q-valued sets and their singletons [Book Review]
Graduate studies at Western
Studia Logica 61 (1):123-148 (1998)
|Abstract||Q-valued sets are non-classical models of the formalized theory of identity with existence predicate based on the axioms of a non-commutative and non-idempotent logic. The singleton monad on the category of Q-valued sets is constructed, and elementary properties of T-algebras of the singleton monad are investigated.|
|Keywords||Non-commutative and non-idempotent logics GL-monoids GL-quantales Gelfand quantales Q-valued vets singleton monad|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Jan E. Holly (1997). Prototypes for Definable Subsets of Algebraically Closed Valued Fields. Journal of Symbolic Logic 62 (4):1093-1141.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Carlos A. OLLER (2004). Measuring Coherence Using LP-Models. Journal of Applied Logic 2 (4):451-455.
Helena Rasiowa (1985). Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic. Studia Logica 44 (4):353 - 368.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?