Sequent calculi for three-valued logics

From MaRDI portal

Publication:1277163

Jump to:navigation, search

DOI10.21099/TKBJM/1496163593zbMath0922.03029OpenAlexW424908023MaRDI QIDQ1277163

Mitio Takano

Publication date: 12 September 1999

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496163593

zbMATH Keywords

sequent calculus many-valued logic three-valued logic 3-valued conditional logic 3-valued paraconsistent logic weakly intuitionistic logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

This page was built for publication: Sequent calculi for three-valued logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1277163&oldid=13380561"