Copertina

A formal system for reasoning about assertibility, truth, and meaningfulness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Weaver, Nik
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Truth and meaningfulness
di: Weaver, Nik
Pubblicazione: (2025)

Parametric equations for temporal style assertions
di: Yodaiken, Victor
Pubblicazione: (2016)

Solving the insecurity problem for assertions
di: Ramanujam, R, et al.
Pubblicazione: (2023)

An axiomatization of truth and paradoxicality
di: Castaldo, Luca
Pubblicazione: (2025)

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

Supervaluations, truth, and intuitionistic logic
di: Dopico, Pablo
Pubblicazione: (2025)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

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

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

Tarskian truth theories over set theory
di: Enayat, Ali
Pubblicazione: (2026)

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

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

Inferring multiple helper Dafny assertions with LLMs
di: Silva, Álvaro, et al.
Pubblicazione: (2025)

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

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

Nonclassical logics and multivariate truth values
di: Zhuravlov, Volodymyr M.
Pubblicazione: (2024)

PECR: A formal system based on computability logic
di: Pantelis, G.
Pubblicazione: (2024)

New foundations of reasoning via real-valued first-order logics
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

Ignorance as an excuse, formally
di: Kubyshkina, Ekaterina, et al.
Pubblicazione: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

Source-level reasoning for quantitative information flow
di: Chen, Chris, et al.
Pubblicazione: (2024)

A set-theoretical approach for ABox reasoning services (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2017)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
di: Balbiani, Philippe
Pubblicazione: (2025)

Metacat: a categorical framework for formal systems
di: Wilson, Paul
Pubblicazione: (2026)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2018)

Multi types and reasonable space
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Completeness of two fragments of a logic for conditional strategic reasoning
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

Compositional pre-processing for automated reasoning in dependent type theory
di: Blot, Valentin, et al.
Pubblicazione: (2022)

Qualitative reasoning in a two-layered framework
di: Bilkova, Marta, et al.
Pubblicazione: (2022)

A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)

A formalization of the Gelfond-Schneider theorem
di: Karatarakis, Michail, et al.
Pubblicazione: (2026)

Multi-representation associated to the numbering of a subbasis and formal inclusion relations
di: Rauzy, Emmanuel
Pubblicazione: (2023)

Goldstern's principle about unions of null sets
di: Goto, Tatsuya
Pubblicazione: (2022)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2017)

TensorRocq: Enabling diagrammatic reasoning in Rocq
di: Caldwell, Benjamin, et al.
Pubblicazione: (2026)

Complete first-order reasoning for functional programs
di: Murali, Adithya, et al.
Pubblicazione: (2026)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2018)

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

A formal Lie correspondence
di: Bagayoko, Vincent
Pubblicazione: (2026)