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

DOI10.1007/BF02120845zbMath0273.02015MaRDI QIDQ2264754

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)

Related Items (9)

ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Representing voting rules in Łukasiewicz’s three-valued logic ⋮ 40 years of FDE: an introductory overview ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ Jerzy Słupecki (1904–1987) ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On adequate sets of multi-valued logic

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