There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
Kazimierz Swirydowicz
Source: J. Symbolic Logic Volume 73, Issue 4
(2008), 1249-1270.
Abstract
In Handbook of Philosophical Logic M. Dunn formulated a problem of describing pretabular extensions of relevant logics (cf. M. Dunn [1984], p. 211; M. Dunn, G. Restall [2002], p. 79). The main result of this paper is described in the title.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1230396916
Digital Object Identifier: doi:10.2178/jsl/1230396916
Mathematical Reviews number (MathSciNet): MR2467214
Zentralblatt MATH identifier: 1161.03011
References
A. R. A. Anderson and N. D. Belnap, Jr., Entailment, vol. 1, Princeton University Press, Princeton, 1975.
Mathematical Reviews (MathSciNet): MR406756
J. W. Blok, Pretabular varieties of modal algebras, Studia Logica, vol. 39 (1980), pp. 101--124.
Mathematical Reviews (MathSciNet): MR595107
Digital Object Identifier: doi:10.1007/BF00370315
Zentralblatt MATH: 0457.03018
J. W. Blok and W. Dziobiak, On the lattice of quasivarieties of Sugihara algebras, Studia Logica, vol. 45 (1986), no. 3, pp. 275--280.
Mathematical Reviews (MathSciNet): MR877316
Digital Object Identifier: doi:10.1007/BF00375898
Zentralblatt MATH: 0616.06003
J. W. Blok and D. Pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society, vol. 77 (1989), no. 396, American Mathematical Society, Providence, R.I.
Mathematical Reviews (MathSciNet): MR973361
J. M. Dunn, Algebraic completeness results for R-mingle and its extensions, Journal of Symbolic Logic, vol. 35 (1970), pp. 1--13.
Mathematical Reviews (MathSciNet): MR288008
Digital Object Identifier: doi:10.2307/2271149
JSTOR: links.jstor.org
Zentralblatt MATH: 0231.02024
--------, Relevance logic and entailment, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. 3, Reidel, 1986, pp. 117--224.
J. M. Dunn and G. Restall, Relevance logic, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. 6, Reidel, 2002, pp. 1--128.
W. Dziobiak, Quasivariety generated by a finite sugihara structure has finitely many subquasivarieties, submitted to Studia Logica in 1982, not published, 1982.
Mathematical Reviews (MathSciNet): MR764764
Digital Object Identifier: doi:10.1007/BF00403339
--------, There are $2^\aleph_0$ with the relevance principle between R and RM, Studia Logica, vol. XLII (1983), no. 1, pp. 49--61.
L. Esakia and V. Meskhi, Five critical systems, Theoria, vol. 40 (1978), pp. 52--60.
Mathematical Reviews (MathSciNet): MR491027
J. Font and G. Rodriguez, Note on algebraic models for relevance logic, Zeitschrift für Mathematische Logic and Grundlagen der Mathematik, vol. 36 (1990), pp. 535--540.
Mathematical Reviews (MathSciNet): MR1114105
L. Maksimowa, Predtablicznyje superintuitionistskije logiki, Algebra i Logika, vol. 11 (1972), no. 5, pp. 558--570.
--------, Struktury z implikacjej, Algebra i logika, vol. 12 (1973), no. 4, pp. 445--467.
Mathematical Reviews (MathSciNet): MR389542
--------, Pretablicznyje rasshirenija logiki S4 Lewisa, Algebra i Logika, vol. 14 (1974), no. 1, pp. 28--55.
R. Routley and R. Meyer, The semantics of entailment -- I, Truth, semantics and modality (H. Leblanc, editor), North Holland, Amsterdam, 1973, pp. 194--243.
Mathematical Reviews (MathSciNet): MR409114
K. Swirydowicz, A remark on the maximal extensions of the relevant logic R, Reports on Mathematical Logic, vol. 29 (1995), pp. 19--33.
Mathematical Reviews (MathSciNet): MR1420692
--------, There exist exactly two maximal strictly relevant extensions of the relevant logic R, Journal of Symbolic Logic, vol. 64 (1999), no. 3, pp. 1125--1154.
Mathematical Reviews (MathSciNet): MR1779754
Digital Object Identifier: doi:10.2307/2586622
JSTOR: links.jstor.org
Zentralblatt MATH: 0947.03029
A. Urquhart, Failure of interpolation in relevant logics, Journal of Philosophical Logic, vol. 22 (1993), pp. 449--479.
Mathematical Reviews (MathSciNet): MR1234403
Digital Object Identifier: doi:10.1007/BF01349560
Zentralblatt MATH: 0798.03020
--------, Duality for algebras of relevant logics, Studia Logica, vol. 56 (1996), pp. 277--290.
Mathematical Reviews (MathSciNet): MR1382176
Digital Object Identifier: doi:10.1007/BF00370149
Zentralblatt MATH: 0844.03032
