Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
Abstract
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting for Nelson’s paraconsistent logic. The cut-elimination and completeness theorems for the proposed sequent calculi and semantics are proven.Other Versions
No versions found
My notes
Similar books and articles
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide -2021 -Journal of Philosophical Logic 51 (1):99-126.
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide -2023 -Journal of Logic, Language and Information 32 (3):395-440.
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors.Norihiro Kamide &Sara Negri -forthcoming -Studia Logica:1-29.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi &Ryo Kashima -2001 -Notre Dame Journal of Formal Logic 42 (1):1-22.
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma &Fei Liang -2018 -Studia Logica 106 (3):565-593.
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide -2009 -Studia Logica 91 (2):217-238.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko -2018 -Logic and Logical Philosophy 27 (1):67-84.
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework.Norihiro Kamide -2019 -Logica Universalis 13 (1):37-63.
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.Norihiro Kamide -2024 -Journal of Logic, Language and Information 33 (2):143-178.
Analytics
Added to PP
2023-06-15
Downloads
39 (#643,100)
6 months
8 (#522,082)
2023-06-15
Downloads
39 (#643,100)
6 months
8 (#522,082)
Historical graph of downloads
How can I increase my downloads?Citations of this work
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.Norihiro Kamide -2024 -Journal of Logic, Language and Information 33 (2):143-178.
Symmetric and conflated intuitionistic logics.Norihiro Kamide -2025 -Logic Journal of the IGPL 33 (2).
References found in this work
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn -1976 -Philosophical Studies 29 (3):149-168.
How a computer should think.Nuel Belnap -1977 - In Gilbert Ryle,Contemporary aspects of philosophy. Boston: Oriel Press.
Constructible falsity and inexact predicates.Ahmad Almukdad &David Nelson -1984 -Journal of Symbolic Logic 49 (1):231-233.
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer -1974 -Studia Logica 33 (1):23 - 34.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-g6h22 uwo