6433 results in Logic, categories and Sets
5 - Working with Proofs
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 69-83
-
- Chapter
- Export citation
Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 107-108
-
- Chapter
- Export citation
9 - Deductive Proofs of Predicate Logic Formulas
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 143-177
-
- Chapter
- Export citation
1 - Propositional Logic Syntax
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 13-23
-
- Chapter
- Export citation
6 - The Tautology Theorem and the Completeness of Propositional Logic
- from Part I - Propositional Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 84-106
-
- Chapter
- Export citation
8 - Getting Rid of Functions and Equality
- from Part II - Predicate Logic
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 129-142
-
- Chapter
- Export citation
Index
-
- Book:
- Mathematical Logic through Python
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022, pp 268-272
-
- Chapter
- Export citation
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 12 September 2022, pp. 206-243
- Print publication:
- March 2024
-
- Article
- Export citation
The Logical Approach to Automatic Sequences
- Exploring Combinatorics on Words with Walnut
-
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
RSL volume 15 issue 3 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 17 August 2022, pp. b1-b2
- Print publication:
- September 2022
-
- Article
-
- You have access
- Export citation
RSL volume 15 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 17 August 2022, pp. f1-f4
- Print publication:
- September 2022
-
- Article
-
- You have access
- Export citation
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 12 August 2022, pp. 611-633
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 19 July 2022, pp. 1110-1119
- Print publication:
- December 2023
-
- Article
- Export citation
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 13 July 2022, pp. 1120-1157
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 1-35
- Print publication:
- March 2024
-
- Article
- Export citation
Contents
-
- Book:
- Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022, pp xi-xiv
-
- Chapter
- Export citation
Chapter 1 - Results
-
- Book:
- Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022, pp 1-30
-
- Chapter
- Export citation
Appendix A - Some Recent Advances
-
- Book:
- Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022, pp 321-344
-
- Chapter
- Export citation