A cut-free Gentzen formulation of basic propositional calculus

DOI10.1023/A:1022363219134zbMath1016.03056OpenAlexW1925887606MaRDI QIDQ1868483

Katsumi Sasaki, Kentaro Kikuchi

Publication date: 27 April 2003

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022363219134

zbMATH Keywords

Kripke modelcut-eliminationGentzen systemBasic Propositional Calculusdual-context system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

This page was built for publication: A cut-free Gentzen formulation of basic propositional calculus