4059 results in Logic
3 - Introduction and Elimination conditions in a general setting
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 19-25
-
- Chapter
- Export citation
23 - Special structures II: Interrogatives and implication relations
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 218-228
-
- Chapter
- Export citation
37 - Migrant modals
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 368-372
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 410-414
-
- Chapter
- Export citation
14 - The disjunction operator
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 117-126
-
- Chapter
- Export citation
8 - Implication relations: Direct and derived
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 45-52
-
- Chapter
- Export citation
5 - The theory of implication relations
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 35-38
-
- Chapter
- Export citation
20 - Quantification
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 181-201
-
- Chapter
- Export citation
32 - Modals revisited II
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 318-326
-
- Chapter
- Export citation
9 - Implications from implications
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 53-69
-
- Chapter
- Export citation
Part I - Background
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 1-2
-
- Chapter
- Export citation
17 - The dual of negation: Classical and nonclassical implication structures
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 142-150
-
- Chapter
- Export citation
Part II - Implication relations
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 33-34
-
- Chapter
- Export citation
31 - Quantification and modality
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 312-317
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/12674/cover/9780521412674.jpg)
A Structuralist Theory of Logic
-
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992
28 - Special modals
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 265-289
-
- Chapter
- Export citation
Appendix B - Symmetric sequents as products of implication relations and their duals
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 378-381
-
- Chapter
- Export citation
29 - The possibility of necessity-style modals
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 290-300
-
- Chapter
- Export citation
13 - Conjunctions
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 108-116
-
- Chapter
- Export citation
Appendix A - An implication relation for the integers in the programming language BASIC
-
- Book:
- A Structuralist Theory of Logic
- Published online:
- 05 May 2010
- Print publication:
- 27 March 1992, pp 373-377
-
- Chapter
- Export citation