On three-valued implicative systems
From MaRDI portal
Publication:1253653
DOI10.1007/BF02176169zbMath0397.03012MaRDI QIDQ1253653
Publication date: 1978
Published in: Studia Logica (Search for Journal in Brave)
Lindenbaum Quotient Matrices; Three-Elemet Strongly Adequate Matrix; Three-Valued Implicative Systems
03B50: Many-valued logic
Cites Work