Cover Image

Analytic proofs for logics of evidence and truth

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carnielli, Walter, Frade, Lorenzzo, Rodrigues, Abilio
Format:	Preprint
Published:	2024
Subjects:	Logic History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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)

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

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

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

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
by: Ghosh, Souvik
Published: (2025)

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

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

Very basic set theory
by: Homan, Doeko
Published: (2023)

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

In between myth and reality: AI for math -- a case study in category theory
by: Diaconescu, Răzvan
Published: (2025)

Artificial Intelligence and the Structure of Mathematics
by: Barkeshli, Maissam, et al.
Published: (2026)

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

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

Operators in the mind: Jan Lukasiewicz and Polish notation
by: Mizraji, Eduardo
Published: (2025)

Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)

A simple proof for generalized Fibonacci numbers with dying rabbits
by: De Prisco, Roberto
Published: (2023)

The anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, by means of the restoration of Book II of the Elements to its original Pythagorean form
by: Negrepontis, Stelios, et al.
Published: (2025)

Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
by: Klazar, Martin
Published: (2026)

Boolos' Hardest Logic Puzzle Ever can be solved in no less than three admissible questions: axiomatic framework and rigorous proof
by: Colomina-Almiñana, J. J., et al.
Published: (2018)

A new elementary proof of the formula $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\frac{π^2}{6}$
by: Li, Jia
Published: (2025)

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

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

Waterproof Editor: an educational environment for proof assistants and programming languages
by: Otte, Pim, et al.
Published: (2026)

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

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

Analytical Methods for Squaring the Disc
by: Fong, Chamberlain
Published: (2015)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

Countable real analysis
by: Klazar, Martin
Published: (2023)

Intuitive but Non-Rigorous Explanations of Infinite Numbers
by: Cranmer, Steven R.
Published: (2024)

Mikio Sato, a visionary of mathematics
by: Schapira, Pierre
Published: (2024)

A Note on Gamma Function and Convolution
by: Mota, Francisco
Published: (2024)

Algumas luminescências sobre o jogo Lights Out
by: Verdério, Adriano, et al.
Published: (2024)

A review of Alfred North Whitehead's "Introduction to Mathematics"
by: Hales, Thomas
Published: (2024)

The Significance of Ethnomathematics Learning: A Cross-Cultural Perspectives Between Indonesian and Thailand Educators
by: Wulandari, I Gusti Ayu Putu Arya, et al.
Published: (2024)

Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)