4059 results in Logic
Hartley Rogers’ 1965 Agenda
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 154-172
-
- Chapter
- Export citation
Classification of Subsheaves over GL-Algebras
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 238-261
-
- Chapter
- Export citation
On the Bit-Comprehension Rule
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 262-279
-
- Chapter
- Export citation
Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 173-196
-
- Chapter
- Export citation
The Ramsey Structure of A-Determined Sets in a Saturated Universe
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 316-333
-
- Chapter
- Export citation
Mathematical Fuzzy Logic – State of Art
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 197-205
-
- Chapter
- Export citation
The Complexity of Linear Logic with Weakening
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 500-515
-
- Chapter
- Export citation
Artin Approximation via the Model Theory of Cohen-Macaulay Rings
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 409-425
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp xiii-xvi
-
- Chapter
- Export citation
Reflections on the Last Delfino Problem
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 206-225
-
- Chapter
- Export citation
Entailment Relations and Distributive Lattices
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 127-139
-
- Chapter
- Export citation
Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 449-464
-
- Chapter
- Export citation
Qualitative and Probabilistic Models of Full Belief
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 25-43
-
- Chapter
- Export citation
An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 91-104
-
- Chapter
- Export citation
Additive Theories
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 352-356
-
- Chapter
- Export citation
Bolzano Medal awarded to Gaisi Takeuti
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp viii-xii
-
- Chapter
- Export citation
Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 302-315
-
- Chapter
- Export citation
How Small Can the Set of Generics Be?
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 109-126
-
- Chapter
- Export citation
Author Index
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 541-541
-
- Chapter
- Export citation
“Just Because”: Taking Belief Bases Seriously
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 387-408
-
- Chapter
- Export citation