On three-valued implicative systems

DOI10.1007/BF02176169zbMath0397.03012MaRDI QIDQ1253653

Marian Maduch

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Lindenbaum Quotient MatricesThree-Elemet Strongly Adequate MatrixThree-Valued Implicative Systems

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• Logical systems with implications
• Matrix approach in methodology of sentential calculi
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Some remarks on the consequence operation in sentential logics

This page was built for publication: On three-valued implicative systems