Cover Image

Guises and Perspectives: An Intentional and Hyperintensional Sketch

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Colomina-Alminana, Juan J.
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science History and Overview Logic 03A05, 01A60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
by: Colomina-Alminana, Juan J.
Published: (2026)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
by: Bottazzi, Emanuele, et al.
Published: (2025)

Formalism 25
by: Katz, Mikhail G., et al.
Published: (2025)

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Hilbert's Program and Infinity
by: Zach, Richard
Published: (2026)

Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)

Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
by: Johnson, Timothy C.
Published: (2024)

A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)

Vopěnka's Alternative Set Theory as a framework for feasible numbers
by: Haniková, Zuzana
Published: (2026)

Comportamientos extraños del infinito: Gráficas Infinitas
by: Fernández-Bretón, David J., et al.
Published: (2025)

Dominic Welsh (1938-2023)
by: Grimmett, Geoffrey R.
Published: (2024)

An interview with Bernard Teissier
by: Popescu-Pampu, Patrick
Published: (2026)

Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
by: Rodin, Andrei
Published: (2024)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

Early Highlights in the History of the Bernstein-von Mises Theorem
by: Fischer, Hans
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

From Coefficients to Distributions: De~Moivre and the Operational View of Probability
by: Labouriau, R.
Published: (2026)

Mathematics of Family Planning in Talmud
by: Blatt, Simon, et al.
Published: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
by: Kamareddine, Fairouz, et al.
Published: (2024)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

A Modern Retrospective on Probabilistic Numerics
by: Oates, C. J., et al.
Published: (2019)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

On Śankara Varman's (correct) and Mādhava's (incorrect) values for the circumferences of circles
by: Krishnachandran, V. N.
Published: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

90+ years of the Scottish Book
by: Domoradzki, Stanisław, et al.
Published: (2026)

Cantor's Powerset Theorem, Graph-Theoretically
by: Salehi, Saeed
Published: (2026)

A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)

A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Weyl's Quantifiers
by: Toader, Iulian D.
Published: (2024)

On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

Josef Meixner: his life and his orthogonal polynomials
by: Butzer, Paul L., et al.
Published: (2016)