An alternative normalization of the implicative fragment of classical logic

From MaRDI portal
Publication:2352461

DOI10.1007/s11225-014-9573-0zbMath1373.03008OpenAlexW2092871146MaRDI QIDQ2352461

Mirjana Ilić, Branislav R. Boričić

Publication date: 2 July 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9573-0





Cites Work