On the decidability of implicational ticket entailment
Bimbó, Katalin, Dunn, J. MichaelVolume:
78
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl.7801150
Date:
March, 2013
File:
PDF, 1.61 MB
english, 2013