R-Calculus, III: Post Three-Valued Logic

DOI10.1007/978-981-19-4270-9OpenAlexW4312833845MaRDI QIDQ5095941

Wei Li, Yuefei Sui

Publication date: 11 August 2022

Published in: Perspectives in Formal Induction, Revision and Evolution (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-19-4270-9

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)

This page was built for publication: R-Calculus, III: Post Three-Valued Logic