Globalization of intui tionistic set theory
Gaisi Takeuti,Satoko Titani +1 more
TLDR
On presente une theorie intuitionniste des ensembles dans laquelle les concepts globaux sont exprimables.About:
This article is published in Annals of Pure and Applied Logic.The article was published on 1987-01-01 and is currently open access. It has received 85 citations till now. The article focuses on the topics: Set theory.read more
Citations
More filters
Proceedings ArticleDOI
Reducing the Size of Fuzzy Concept Lattices by Hedges
Radim Belohlavek,Vilem Vychodil +1 more
TL;DR: It is shown that a concept lattice with hedges is indeed a complete lattice which is isomorphic to an ordinary concept lattices, and the isomorphism and its inverse are described, which serve as translation procedures.
Journal ArticleDOI
Foundations of fuzzy sets
Ulrich Höhle,Lawrence Neff Stout +1 more
TL;DR: An overview of the origins of fuzzy set theory and the problems for the foundations of fuzzy sets arising from those origins and current practice and detailed accounts of categorical approaches using a closed structure to capture the fuzzy and connective are given.
Book ChapterDOI
What is a fuzzy concept lattice? II
TL;DR: This paper is a follow up to "Belohlavek, Vychodil: What is a fuzzy concept lattice?, Proc. CLA 2005, 34-45", in which it provided a then up-to-date overview of various approaches to fuzzy Concept lattices and relationships among them.
Book ChapterDOI
Attribute implications in a fuzzy setting
Radim Bělohlávek,Vilem Vychodil +1 more
TL;DR: This paper is an overview of recent developments concerning attribute implications in a fuzzy setting, namely, formal concept analysis and databases.
Journal ArticleDOI
Fuzzy logic and fuzzy set theory
Gaisi Takeuti,Satoko Titani +1 more
TL;DR: An intuitionistic logic and intuitionistic set theory based on Gentzen's intuitionistic predicate logic with additional axioms and inference rules are presented, which asserts that the truth value set is linearly ordered and dense cHa.
References
More filters
Journal ArticleDOI
Untersuchungen über das logische Schließen. II
TL;DR: In this paper, a process for sizing cellulose fibers or cellulose fiber containing materials and a composition for carrying out the process are described, and a method for sizing according to the general formula of R1 is presented.
Journal ArticleDOI
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
Gaisi Takeuti,Satoko Titani +1 more
TL;DR: From a logical standpoint, each logic has its corresponding set theory in which each logical operation is translated into a basic operation for set theory; namely, the relation ⊆ and = on sets are translation of the logical operations → and ↔.