6433 results in Logic, categories and Sets
2 - String Diagrams
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 33-62
-
- Chapter
- Export citation
Prologue
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp ix-xiv
-
- Chapter
- Export citation
Index
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 179-182
-
- Chapter
- Export citation
Contents
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp vii-viii
-
- Chapter
- Export citation
5 - Putting It All Together
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 129-166
-
- Chapter
- Export citation
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 24 July 2023, pp. 1-37
-
- Article
- Export citation
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 24 July 2023, pp. 1-32
-
- Article
- Export citation
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-22
-
- Article
- Export citation
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 July 2023, pp. 1-27
-
- Article
- Export citation
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 July 2023, pp. 1-16
-
- Article
- Export citation
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 July 2023, pp. 1-40
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 30 June 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-18
-
- Article
- Export citation
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 June 2023, pp. 1-27
-
- Article
- Export citation
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 23 June 2023, pp. 1-14
-
- Article
- Export citation
10 - Complex Numbers
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 266-305
-
- Chapter
- Export citation
Dedication
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp v-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp vii-ix
-
- Chapter
- Export citation
11 - Preview of Linear Algebra
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 306-338
-
- Chapter
- Export citation