Pure three-valued Łukasiewiczian implication

DOI10.2307/2270455zbMath0154.25505OpenAlexW2096854991MaRDI QIDQ5534914

Robert K. Meyer, Storrs McCall

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270455

zbMATH Keywords

mathematical logic

Related Items (2)

Unnamed Item ⋮ Algèbres implicatives trivalentes de Lukasiewicz libres

Cites Work

• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle

This page was built for publication: Pure three-valued Łukasiewiczian implication