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
An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
Published online by Cambridge University Press: 31 March 2017
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. 91 - 104Publisher: Cambridge University PressPrint publication year: 2000
References
1. : Infinite-Valued Gödel Logics with 0-1-Projections and Relativizations. In Proceedings of Gödel 96-Kurt Gödel's Legacy, LNL 6, Springer Verlag, pp.23-33.
2. , , : Completeness of a first-order temporal logic with time-gaps. Theoretical Computer Science, 160(1-2), pp.241-270, 1996.Google Scholar
3. , : Interpolation in Fuzzy Logic. Archive for Mathematical Logic, accepted for publication.
4. , : Quantifier Elimination in Fuzzy Logic, CSL 1998.
5. : On a decision method in restricted second order arithmetic. In Logic,Methodology, and Philosophy of Science, Proc. of the 1960 Congress, Stanford University Press, pp. 1-11.
6. : A propositional calculus with denumerable matrix. J. Symbolic Logic, 24(1959), 97-106.Google Scholar
7. : Proof Methods for Modal and Intuitionistic Logics. Kluwer, 1983.
9. : Mehrwertige Logik. Akademie-Verlag, Berlin 1989.
10. : Metamathematics of Fuzzy Logic. Kluwer, 1998.
11. : Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic, 27(1962), 159-170.Google Scholar
12. , , , eds.: Nichtklassische Logik. Akademie-Verlag, Berlin 1988.
13. : Craig's interpolation theorem and amalgamable varieties. Doklady Akademii Nauk SSSR, 237/6, 1281-1284, 1977.Google Scholar
14. : Another proof of the strong completeness of the intuitionistic fuzzy logic. Tsukuba J. Math. 11(1984), 851-866.Google Scholar
15. : Proof Theory, 2nd ed., North-Holland, 1987.
16. , : Intutionistic fuzzy logic and intutionistic fuzzy set theory. J.Symbolic Logic, 49(1984), 851-866.Google Scholar
- 4
- Cited by