Cover Image

Supervaluation-Style Truth Revisited

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dopico, Pablo, Nicolai, Carlo, Stern, Johannes
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

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

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

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

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

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

Truth and meaningfulness
by: Weaver, Nik
Published: (2025)

Canonical Truth
by: Carl, Merlin, et al.
Published: (2017)

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

The Architecture of Truth
by: Kent, Robert E.
Published: (2024)

Truth Factors
by: Kent, Robert E.
Published: (2024)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

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

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

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

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

Super Black Boxes Revisited
by: Shelah, Saharon
Published: (2026)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

Logical Form and Truth-Conditions
by: Andrea IACONA
Published: (2013)

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

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

A Logical View of GNN-Style Computation and the Role of Activation Functions
by: Barceló, Pablo, et al.
Published: (2025)

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

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

Unification in Matching Logic -- Revisited
by: Kurucz, Ádám, et al.
Published: (2024)

Subsystems of Open Induction
by: Hetzl, Stefan, et al.
Published: (2025)

Revisiting the Fast Fourier Transform in Rocq
by: Théry, Laurent
Published: (2022)

Revisiting Stateful Partial-Order Reduction
by: Herbreteau, Frédéric, et al.
Published: (2024)

Confluence of Logically Constrained Rewrite Systems Revisited
by: Schöpf, Jonas, et al.
Published: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
by: Zhang, Xindi, et al.
Published: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

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

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

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
by: Leme, Renato, et al.
Published: (2025)

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

A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation
by: Krinkin, Kirill
Published: (2026)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)