Falsification-aware semantics and sequent calculi for classical logic

DOI10.1007/s10992-021-09611-xOpenAlexW3182952821MaRDI QIDQ2078978

Norihiro Kamide

Publication date: 4 March 2022

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09611-x

zbMATH Keywords

completeness theoremclassical logiccut-elimination theoremfalsification-aware semanticsfalsification-aware sequent calculusNelson constructive three-valued logic N3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5

Uses Software

• YASM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• A remark on Gentzen's calculus of sequents
• Applications of Kripke models to Heyting-Brouwer logic
• Intuitionistic logic with strong negation
• The value of the four values
• The logic of information structures
• Dual-intuitionistic logic
• A formalization of the propositional calculus of H-B logic
• Reasoning with logical bilattices
• Falsification, natural deduction and bi-intuitionistic logic
• Counterexample-guided abstraction refinement for symbolic model checking
• Constructible falsity and inexact predicates
• The Logic of Contradiction
• A deductive-reductive form of logic: General theory and intuitionistic case
• A semantical study of constructible falsity
• Constructible falsity

This page was built for publication: Falsification-aware semantics and sequent calculi for classical logic