Condensed detachment as a rule of inference

From MaRDI portal
Publication:1060210

DOI10.1007/BF01371632zbMath0568.03010WikidataQ29541784 ScholiaQ29541784MaRDI QIDQ1060210

John A. Kalman

Publication date: 1983

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




Related Items (6)



Cites Work


This page was built for publication: Condensed detachment as a rule of inference