55 results
1 - Complete Metric Spaces
-
- Book:
- Functional Analysis Revisited
- Published online:
- 31 October 2024
- Print publication:
- 04 July 2024, pp 1-14
-
- Chapter
- Export citation
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 15 January 2024, p. 1
-
- Article
-
- You have access
- HTML
- Export citation
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 October 2023, pp. 1-27
-
- Article
-
- You have access
- HTML
- Export citation
9 - Quality vs Quantity
-
- Book:
- How to Talk Language Science with Everybody
- Published online:
- 17 May 2023
- Print publication:
- 29 June 2023, pp 101-115
-
- Chapter
- Export citation
1 - Rationality, Preferences, and Utility Theory
- from Part I - Introduction: Content, Structure, and Strategy of Mainstream Economics
-
- Book:
- The Inexact and Separate Science of Economics
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 23-55
-
- Chapter
- Export citation
8 - Properties of Choreographies and Endpoint Projection
- from Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 156-176
-
- Chapter
- Export citation
SATURATED MODELS FOR THE WORKING MODEL THEORIST
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 17 February 2023, pp. 163-169
- Print publication:
- June 2023
-
- Article
-
- You have access
- HTML
- Export citation
Appendix D - A (Petting) Zoo of Function Spaces
-
- Book:
- Classical Numerical Analysis
- Published online:
- 29 September 2022
- Print publication:
- 20 October 2022, pp 880-895
-
- Chapter
- Export citation
Appendix C - Banach Fixed Point Theorem
-
- Book:
- Classical Numerical Analysis
- Published online:
- 29 September 2022
- Print publication:
- 20 October 2022, pp 874-879
-
- Chapter
- Export citation
3 - Agreements for Future Mediation
-
- Book:
- International Commercial Mediation
- Published online:
- 01 September 2022
- Print publication:
- 08 September 2022, pp 53-82
-
- Chapter
- 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
-
- You have access
- HTML
- Export citation
Generalized Bloch type periodicity and applications to semi-linear differential equations in banach spaces
- Part of
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 65 / Issue 2 / May 2022
- Published online by Cambridge University Press:
- 08 March 2022, pp. 326-355
-
- Article
- Export citation
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 08 July 2021, pp. 529-552
- Print publication:
- June 2023
-
- Article
-
- You have access
- HTML
- Export citation
Completion versus removal of redundancy by perturbation
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 65 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 05 July 2021, pp. 456-465
- Print publication:
- June 2022
-
- Article
- Export citation
Chapter 3 - Platonic ‘Desmology’ and the Body of the World Animal (Tim. 30c–34a)
-
-
- Book:
- Cosmology and Biology in Ancient Philosophy
- Published online:
- 21 May 2021
- Print publication:
- 10 June 2021, pp 46-71
-
- Chapter
- Export citation
THE LOGIC OF THE EVIDENTIAL CONDITIONAL
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 08 March 2021, pp. 758-770
- Print publication:
- September 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Chapter 5 - Aristotle on Productive Understanding and Completeness
-
-
- Book:
- Productive Knowledge in Ancient Philosophy
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 109-130
-
- Chapter
- Export citation
BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 21 December 2020, pp. 668-692
- Print publication:
- September 2022
-
- Article
- Export citation
EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 21 October 2020, pp. 728-765
- Print publication:
- September 2021
-
- Article
- Export citation
Flexible coinductive logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 818-833
-
- Article
- Export citation