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
Entailment Relations and Distributive Lattices
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. 127 - 139Publisher: Cambridge University PressPrint publication year: 2000
References
[Abr91] . Domain theory in logical form. Annals of Pure and Applied Logic, 51:1–77, 1991.Google Scholar
[Avr91] . Simple Consequence Relations. Information and Computation, 92:105–139, 1991.Google Scholar
[CP98] and . Valuation ring and dedekind prague's theorem. In preparation, 1998.
[En86] . Dimension of boolean valued lattices and rings. Journal of Pure and Applied Algebra, 42(3):223–236, 1986.Google Scholar
[Gen69] . Investigations into logical deduction. In , editor, The Collected Papers of Gerhard Gentzen. North-Holland, 1969.
[JKM97] , , and . Multi lingual sequent calculus and coherent spaces. In and , editors, 13th Conference on Mathematical Foundations of Programming Semantics, volume 6 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V., 1997.
[Joh82] . Stone Spaces. Cambridge University Press, 1982.
[Joh85] . Vietoris locales and localic semilattices. In and , editors, Continuous Lattices and their Applications, number 101 in Pure and Applied Mathematics, pages 155–180. Marcel Dekker, 1985.
[Mac37] . Extensions of Partially Ordered Sets. Transactions of A.M.S. 42, pages 416–460, 1937.Google Scholar
[MP91] and . A globalization of the Hahn-Banach theorem. Advances in Mathematics, 89:1–59, 1991.Google Scholar
[Mul90] . The maximality of filters. Journal of Pure and Applied Algebra, 68:253–258, 1990.Google Scholar
[Per57] . Embedding of a distributive lattice in a boolean algebra. Indag. Math. 19, pages 73–81, 1957.
[Plo83] . Domains. Dept. of Computer Science, Univ. of Edinburgh, 1983.
[Sig77] and , Representability of locally compact regular spaces by domains and formal spaces Theoretical Computer Sciences 179, pages 319– 331, 1977.Google Scholar
[Sco71] . On engendering an illusion of understanding. Journal of Philosophy, pages 787–807, 1971.
[Sco73] . Background to formalization. In Truth, Syntax and Modality, H. Leblanc, ed., North-Holland, pages 411–435, 1973.
[Sco74] . Completeness and axiomatizability. Proceedings of the Tarski Symposium, pages 411–435, 1974.
[Vic93] . Information systems for continuous posets. Theoretical Computer Science, 114:201–229, 1993.Google Scholar
- 19
- Cited by