Buchumschlag

Normalization and cut-elimination theorems for some logics of evidence and truth

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Coniglio, Marcelo E., Figallo, Martín, Rodrigues, Abilio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Analytic proofs for logics of evidence and truth
von: Carnielli, Walter, et al.
Veröffentlicht: (2024)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

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

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
von: Coniglio, Marcelo E.
Veröffentlicht: (2023)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

Supervaluations, truth, and intuitionistic logic
von: Dopico, Pablo
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Leibniz's law and paraconsistent models of ZFC
von: Figallo-Orellano, Aldo
Veröffentlicht: (2022)

Frege on the reference of sentences
von: Rodrigues, Abilio
Veröffentlicht: (2024)

Asymptotic truth-value laws in many-valued logics
von: Badia, Guillermo, et al.
Veröffentlicht: (2023)

Nonclassical logics and multivariate truth values
von: Zhuravlov, Volodymyr M.
Veröffentlicht: (2024)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
von: Antunes, Henrique, et al.
Veröffentlicht: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
von: Leme, Renato, et al.
Veröffentlicht: (2023)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2025)

A definição de verdade de Tarski
von: Cardoso, Guilherme, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Arithmetical completeness for some extensions of the pure logic of necessitation
von: Kogure, Haruka
Veröffentlicht: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

Completeness theorems for modal logic in second-order arithmetic
von: Shimomichi, Sho, et al.
Veröffentlicht: (2025)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
von: Leme, Renato, et al.
Veröffentlicht: (2025)

A taxonomy for controlling (in)consistency
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2026)

The finite frame property of some extensions of the pure logic of necessitation
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Smullyan's truth and provability
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2024)

An axiomatization of truth and paradoxicality
von: Castaldo, Luca
Veröffentlicht: (2025)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
von: Shamkanov, Daniyar
Veröffentlicht: (2024)

The analogy theorem in Hoare logic
von: Nikita, Nikitin
Veröffentlicht: (2025)

Alignment complete relational Hoare logics for some and all
von: Nagasamudram, Ramana, et al.
Veröffentlicht: (2023)

Modal definability in Kripke's theory of truth
von: Walsh, James
Veröffentlicht: (2024)

Adequate conditionals and Kripke's theory of truth
von: Stern, Johannes
Veröffentlicht: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)