The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

C. J. Alten,J. Raftery
DOI: https://doi.org/10.1023/A:1005262630549
1999-09-01
Abstract:
What problem does this paper attempt to address?