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

Authors

  • Guillermo Badia University of Queensland

DOI:

https://doi.org/10.26686/ajl.v16i1.3925

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.

Downloads

Download data is not yet available.

Downloads

Published

2019-01-22

Issue

Vol. 16 No. 1 (2019): The Australasian Journal of Logic

Section

Articles