A criterion of fullness of many-valued systems of propositional logic

DOI10.1007/BF02120845zbMATH Open0273.02015MaRDI QIDQ2264754FDOQ2264754

Authors: Jerzy Słupecki 

Publication date: 1972

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

Cited In (9)

• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic
• Representing voting rules in Łukasiewicz's three-valued logic
• Generalizing functional completeness in Belnap-Dunn logic
• On adequate sets of multi-valued logic
• Jerzy Słupecki (1904–1987)
• From paraconsistent logic to dialetheic logic
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• 40 years of FDE: an introductory overview

This page was built for publication: A criterion of fullness of many-valued systems of propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264754)