Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
Mathematical Fuzzy Logic – State of Art
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. 197 - 205Publisher: Cambridge University PressPrint publication year: 2000
References
2. , An algorithmic desingularization of 3-dimensional toric varieties. Tohoku Mathematical Journal 46 (1994) 557-572Google Scholar
3. , , , Proof theory of fuzzy logic: Urquhart's C and related logics. In: Proc. MFCS'98, Brim, al. eds, LNCS 1450 p. 203-213 Springer 1998
5. , , Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logic of programs. . ed. Computer Science Logic. Selected Papers from CSL'95, LNCS 1092 p. 1-15 Springer 1996
6. , Interpolation in fuzzy logic. Archive for Math. logic (to appear)
7. , Compact Propositional Gödel Logics. In Proc. of the 28th International Symposium on Multiple-Valued Logic, IEEE New York 1998 p. 108-113
8. . Belluce and . Chang A weak completeness theorem on infinite valued predicate logic. Journ. Symb.Logic 28 (1963), 43-50.Google Scholar
9. , and Algebraic foundations of manyvalued reasoning, book in preparation.
10. . .,:Reconstructing C*-algebras fromtheirMurray von Neumann orders. Advances in Mathematics 101 (1993) 166-179Google Scholar
11. , An invitation to Chang'sMV-algebras. In: Advances in Algebra and Model Theory (, , eds.), Gordon and Breach Publishing Group, Reading, UK, 1997, pp. 171–197.
12. , , Algebras of Łukasiewicz Logics (in Portugese). Collection CLE, State University of Campinas, Campinas, , Brazil (1994) 256 pages. Second Edition, 1995
13. , An algebraic analysis of product logic. Journal of Multiple-Valued Logic (to appear)
14. (ed.): Soft Computing 2 (1998), special issue No. 1
15. ,: Acharacterization of lattice-ordered abelian groups. Mathematische Zeitschrift, 213 (1993) pp. 179–185.Google Scholar
16. and (ed.): Mathware and Soft Computing 4 (1998), special issue No. 2
17. Residuated logic with an involutive negation. To appear in Archive for Mathematical Logic
18. , , Putting Łukasiewicz and product logic together. Paper in preparation.
19. Metamathematics of Fuzzy Logic. Kluwer 1998.
20. Ten questions and one problem on fuzzy logic. Annals of Pure and Applied Logic, to appear.
21. On metamathematics of fuzzy logic. In , , ed.: Discovering world with fuzzy logic. Springer Heidelberg (to appear)
22. Trakhtenbrot theorem and fuzzy logic, In: Proc. CSL'99 (to appear)
24. and Deductive systems of fuzzy logic. In Fuzzy Structures Current Trends, and , Eds., vol. 13 of Tatra Mountains Mathematical Publications.Math. Inst. Slovak Acad. Sci. Bratislava, 1997, pp. 35-68.
25. , and The liar paradox and fuzzy logic. To appear in Journ. Symb. Logic
26. , and Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. To appear in Journ. Symb. Logic.
28. (ed.): Soft Computing 2 (1998), special issue No. 3
29. , ed.: $-Bibliography of Mathematical Logic vol. II-Non-classical Logic Springer-Verlag 1987
30. Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. Functional Analysis 65 (1986) 15-63Google Scholar
31. Satisfiability in many-valued sentential logic is NP-complete. Theor. Comp. Sci. 270 (1987) 145-153
32. The complexity of adaptive error-correcting codes. Lecture notes in Computer Science 533 (1991) 300-307Google Scholar
33. Ulam's games, Łukasiewicz logic, and AF C*-algebras. Fundamenta Informaticae 18 (1993) 151-161Google Scholar
34. Logic of infinite quantum systems. International Journal of Theoretical Physics 32 (1993) 1941-1955Google Scholar
35. , Extending addition in Elliott's local semigroup. Journal of Functional Analysis 117 (1993) 416-471Google Scholar
36. Łukasiewicz normal forms and toric desingularizations In: Proceedings Logic Colloquium'93 Oxford University Press, et al., Editors, Oxford University Press, 1996, pp. 401–423.
37. Uncertainty measures in MV-algebras, and states of AF C*-algebras, in memoriam Rolando Chuaqui. Special issue of Notas de la Sociedad deMatematica de Chile 15 (1996) 42-54Google Scholar
38. , Resolution and model building in the infinite-valued calculus of Łukasiewicz. Theor. Comp. Sci. 200 (1998) 335-366
39. Ulam game, the logic of MAXSAT, and many-valued partitions. In et. at., ed., Proc. LINZ'95 (to appear)
40. Reasoning on imprecisely defined functions. In: , , ed. Discovering world with fuzzy logic. Springer Heidelberg (to appear)
41. (ed.): Studia Logica 61 (1998), special issue No. 1.
42. (ed.): Mathware and Soft Computing 4 (1997), special issue No. 1.
43. Boolean deductive systems of BL-algebras. Technical report, Lapeenranta Univ. of Technology, Dept. of Information Technology, 1998