Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order

DOI10.4288/JAFPOS1956.7.117zbMath0648.03014OpenAlexW2040498443MaRDI QIDQ3792660

Mitio Takano

Publication date: 1988

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.7.117

zbMATH Keywords

intuitionistic logiccut-eliminationpartial orders of truth-values

Mathematics Subject Classification ID

Other nonclassical logic (03B60) 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-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order