The formal system for varuous 3-valued logics. II

DOI10.2969/jmsj/02930513zbMath0353.02007OpenAlexW2054319155MaRDI QIDQ1236106

K. Appert

Publication date: 1977

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02930513

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

A Gentzen system for conditional logic

This page was built for publication: The formal system for varuous 3-valued logics. II