INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC

  • Guillermo Badia University of Queensland

Abstract

In this note we provide a simple proof of the incompactness over Routley-Meyer B-frames of the A1 fragment of the second order propositional relevant language.

Published
2019-01-22
How to Cite
BADIA, Guillermo. INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC. The Australasian Journal of Logic, [S.l.], v. 16, n. 1, p. 1-8, jan. 2019. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/3925>. Date accessed: 15 nov. 2019. doi: https://doi.org/10.26686/ajl.v16i1.3925.