Some Model-Theoretic Results for the Rel
β
MirosΕaw Szatkowski
π
Article
π
1986
π
John Wiley and Sons
π
English
β 594 KB
SOME MODEL-THEORETIC RESULTS FOR THE RELEVANT LOGIC WITH QUANTIFICATION by MIROSEAW SZATKOWSEI in Bydgoszcz (Poland) 0. In [ 5 ] , R. ROUTLEY and R . K. MEYER describe a semantics for the relevant logic with quantification (RQ). A proof of the Compactness theorem for RQ was given by J. B. FREEMAN in