Imagen de Portada

On Classical Determinate Truth

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Castaldo, Luca, Nicolai, Carlo
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Supervaluation-Style Truth Revisited
por: Dopico, Pablo, et al.
Publicado: (2025)

An axiomatization of truth and paradoxicality
por: Castaldo, Luca
Publicado: (2025)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
por: Nicolai, Carlo, et al.
Publicado: (2022)

Canonical Truth
por: Carl, Merlin, et al.
Publicado: (2017)

Truth and meaningfulness
por: Weaver, Nik
Publicado: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

The Architecture of Truth
por: Kent, Robert E.
Publicado: (2024)

Truth Factors
por: Kent, Robert E.
Publicado: (2024)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Reaching Classicality through Transitive Closure
por: Blomet, Quentin, et al.
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
por: Rodrigues, Abilio, et al.
Publicado: (2026)

The Characterization of Abstract Truth and its Factorization
por: Kent, Robert E.
Publicado: (2024)

Classical Logic without Bivalance
por: Gheorghiu, Alexander V.
Publicado: (2025)

Tarskian Theories of Krivine's Classical Realisability
por: Hayashi, Daichi, et al.
Publicado: (2025)

Logical Form and Truth-Conditions
por: Andrea IACONA
Publicado: (2013)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
por: Contente, Michele, et al.
Publicado: (2024)

A Friedman--Sheard-style Theory for Classical Realisability
por: Hayashi, Daichi, et al.
Publicado: (2025)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
por: Lotz, Martin, et al.
Publicado: (2024)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
por: Mojtahedi, Mojtaba, et al.
Publicado: (2024)

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

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
por: Kevin Fathi
Publicado: (2025)

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

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

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
por: Naderian, Farhad
Publicado: (2022)

Interpolation in Non-Classical Logics
por: Fussner, Wesley
Publicado: (2025)

Around Classical and Intuitionistic Linear Processes
por: Jaramillo, Juan C., et al.
Publicado: (2024)

Logical Inferentialism & Attacks on Classical Logic
por: Irani, Khashayar
Publicado: (2025)

Classical Set Theory: Theory of Sets and Classes
por: Banakh, Taras
Publicado: (2020)

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

RDF Surfaces: Enabling Classical Negation on the Semantic Web
por: Hochstenbach, Patrick, et al.
Publicado: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
por: Barenbaum, Pablo, et al.
Publicado: (2026)

A Strong Bisimulation for a Classical Term Calculus
por: Bonelli, Eduardo, et al.
Publicado: (2021)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
por: Irani, Khashayar
Publicado: (2025)

Congruence permutability in quasivarieties
por: Carai, Luca, et al.
Publicado: (2025)

Bounded depth in Hilbert algebras
por: Carai, Luca, et al.
Publicado: (2026)

Hilbert's tenth problem via additive combinatorics
por: Koymans, Peter, et al.
Publicado: (2024)

Hilbert's tenth problem for finitely generated rings
por: Koymans, Peter, et al.
Publicado: (2026)