Cut-free systems for three-valued modal logics

DOI10.1305/NDJFL/1093634401zbMath0778.03005OpenAlexW1988289605MaRDI QIDQ1203764

Mitio Takano

Publication date: 22 February 1993

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

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

zbMATH Keywords

cut-eliminationsequent calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (1)

Subformula property in many-valued modal logics

This page was built for publication: Cut-free systems for three-valued modal logics