Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-25T17:36:21.608Z Has data issue: false hasContentIssue false

Deduction theorems within RM and its extensions

Published online by Cambridge University Press:  12 March 2014

J. Czelakowski
Affiliation:
Department of Mathematics, Opole University, 45-951 Opole, Poland E-mail: jczel@sparc-1.uni.opole.pl
W. Dziobiak
Affiliation:
Departament of Mathematics, University of Puerto Rico, Mayagüez Campus, Mayagüez, PR 00681-5000, E-mail:, w.dziobiak@rumac.upr.clu.edu

Abstract

In [13], M. Tokarz specified some infinite family of consequence operations among all ones associated with the relevant logic RM or with the extensions of RM and proved that each of them admits a deduction theorem scheme. In this paper, we show that the family is complete in a sense that if C is a consequence operation with CRMC and C admits a deduction theorem scheme, then C is equal to a consequence operation specified in [13]. In algebraic terms, this means that the only quasivarieties of Sugihara algebras with the relative congruence extension property are the quasivarieties corresponding, via the algebraization process, to the consequence operations specified in [13].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Anderson, A.R. and Belnap, N.D. Jr., Entailment: The logic of relevance, vol. I, Princeton University Press, Princeton, 1975.Google Scholar
[2]Belnap, N.D. Jr., Entailment and relevance, this Journal, vol. 25 (1960), pp. 144146.Google Scholar
[3]Blok, W.J. and Dziobiak, W., On the lattice of quasivarieties of Sugihara algebras, Studia Logica, vol. 45 (1986), pp. 275280.CrossRefGoogle Scholar
[4]Blok, W.J. and Pigozzi, D., The deduction theorem in algebraic logic, to appear.Google Scholar
[5]Blok, W.J. and Pigozzi, D., Algebraizable logics, Memoirs of American Mathematical Society, vol. 77, American Mathematical Society, Providence, 1989.Google Scholar
[6]Czelakowski, J., Algebraic aspects of deduction theorems, Studia Logica, vol. 44 (1985), pp. 369387.CrossRefGoogle Scholar
[7]Czelakowski, J., Local deduction theorems, Studia Logica, vol. 45 (1986), pp. 377391.CrossRefGoogle Scholar
[8]Czelakowski, J. and Dziobiak, W., A deduction theorem schema for deductive systems of propositional logics, Studia Logica, vol. 50 (1991), pp. 385390.CrossRefGoogle Scholar
[9]Czelakowski, J. and Dziobiak, W., The parameterized local deduction theorem for quasivarieties of algebras and its application, Algebra Universalis, vol. 35 (1996), pp. 373419.CrossRefGoogle Scholar
[10]Dunn, J.M., Algebraic completeness results for R-mingle and its extensions, this Journal, vol. 35 (1970), pp. 113.Google Scholar
[11]Pogorzelski, W.A., Przeglad twierdzeń o dedukcji dla rachunków zdaniowych, Studia Logica, vol. 15 (1964), pp. 163178, in Polish.CrossRefGoogle Scholar
[12]Rautenberg, W., Klassische und Nichtklassische Aussagenlogik, Friedr. Vieweg und Sohn, Braunschweig/Wiesbaden, 1979.CrossRefGoogle Scholar
[13]Tokarz, M., Deduction theorems for RM and its extensions, Studia Logica, vol. 38 (1978), pp. 105111.CrossRefGoogle Scholar
[14]Wójcicki, R., Theory of logical calculi, Kluwer Publishers, Dordrecht, 1988.CrossRefGoogle Scholar