Sequent calculi for Visser's propositional logics

DOI10.1305/NDJFL/1054301352zbMath1023.03054OpenAlexW2024340229MaRDI QIDQ1409300

Kentaro Kikuchi, Katsumasa Ishii, Ryo Kashima

Publication date: 13 October 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1054301352

zbMATH Keywords

sequent calculusKripke semanticscut-eliminationcut ruleformal provabilityformal propositional logicbasic propositional logicHilbert-style axiomatizations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)

Related Items (2)

Sequent Calculi for Orthologic with Strict Implication ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The modal logic of provability: cut-elimination
• Proof theory. 2nd ed
• A propositional logic with explicit fixed points
• Speaking about transitive frames in propositional languages
• Basic Propositional Calculus I
• Basic predicate calculus

This page was built for publication: Sequent calculi for Visser's propositional logics