Cover Image

An axiomatization of truth and paradoxicality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Castaldo, Luca
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

On Classical Determinate Truth
by: Castaldo, Luca, et al.
Published: (2024)

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Smullyan's truth and provability
by: Kurahashi, Taishi, et al.
Published: (2024)

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
by: Chen, Zhicheng
Published: (2022)

Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
by: Bonzio, Stefano, et al.
Published: (2024)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

Adequate conditionals and Kripke's theory of truth
by: Stern, Johannes
Published: (2024)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

First-order logic axiomatization of metric graph theory
by: Chalopin, Jérémie, et al.
Published: (2022)

A formal system for reasoning about assertibility, truth, and meaningfulness
by: Weaver, Nik
Published: (2025)

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

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

Nonclassical logics and multivariate truth values
by: Zhuravlov, Volodymyr M.
Published: (2024)

An observer-based approach to the sorites paradox and the logic derived from that
by: Tzouvaras, Athanassios
Published: (2026)

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

An axiomatization for the universal theory of the Heisenberg group
by: Gaglione, Anthony M., et al.
Published: (2023)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
by: Alonso, Bernardo
Published: (2026)

On the axiomatics of projective and affine geometry in terms of line intersection
by: Havlicek, Hans, et al.
Published: (2013)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
by: Li, Lingqiang, et al.
Published: (2024)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
by: Ghari, Meghdad
Published: (2021)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

Reducing the axioms of hypergroups, hyperfields, hypermomules and related structures. A new axiomatic basis for hypercompositional structures
by: Massouros, Christos G.
Published: (2026)

Congruence permutability in quasivarieties
by: Carai, Luca, et al.
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
by: Abramsky, Samson, et al.
Published: (2022)

Finitely accessible arboreal adjunctions and Hintikka formulae
by: Reggio, Luca, et al.
Published: (2023)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
by: Andrews, Uri, et al.
Published: (2025)