Abstract
In relevance logic it has become commonplace to associate with each logic both an algebraic counterpart and a relational counterpart. The former comes from the Lindenbaum construction; the latter, called a model structure, is designed for semantical purposes. Knowing that they are related through the logic, we may enquire after the algebraic relationship between the algebra and the model structure. This paper offers a complete solution for the relevance logic R⌝. Namely, R⌝-algebras and R⌝-model structures can be obtained from each other, and represented in terms of each other, by application of power constructions.
Similar content being viewed by others
References
A. R. Anderson and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton, 1975.
J. L. Bell and A. B. Slomson, Models and Ultraproducts, North-Holland, Amsterdam, 1971.
M. N. Bleicher, H. Schneider and R. L. Wilson, Permanence of identities on algebras, Algebra Universalis 3 (1973), pp. 72–93.
C. Brink, Power structures and logic, Quaestiones Mathematicae 9 (1986), pp. 69–94.
R. H. Bruck, A Survey of Binary Systems, Springer, Berlin, 1958.
S. D. Comer, Combinatorial aspects of relations, Algebra Universalis 18 (1984), pp. 77–94.
M. Drescher and O. Ore, Theory of multigroups, American Journal of Mathematics 60 (1938), pp. 705–733.
J. M. Dunn, Relevance logic and entailment, in D. Gabbay and F. Guenthner (Eds.), Handbook of Philosophical Logic Vol. III, Synthese Library Vol. 166, Reidel, Dordrecht, 1986, pp. 117–224.
N. D. Gautam, The validity of equations of complex algebras, Archiv für Mathematische Logik und Grundlagenforschung 3 (1957), pp. 117–124.
G. B. Halsted, Rational Geometry, J. Wiley & Sons, London, 1904.
L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Parts I and II. North-Holland, Amsterdam, 1971 and 1985. (Studies in Logic and the Foundations of Mathematics Vols. 64 and 115.)
B. Jonsson and A. Tarski, Boolean algebras with operators, Parts I and II. American Journal of Mathematics 73 (1951), pp. 891–939; 74 (1952), pp. 127–162.
J. R. Kline, Double elliptic geometry in terms of point and order alone, Annals of Mathematics 18 (1916–17), pp. 31–44.
R. K. Meyer, Sententical constants in relevant implication, Research Paper No. 2, Logic Group, Department of Philosophy, Research School of Social Sciences, Australian National University, Canberra, 1979.
R. K. Meyer, A Boolean-valued semantics for R, Research Paper No. 4, Logic Group, Department of Philosophy, Research School of Social Sciences, Australian National University, Canberra, 1979.
R. K. Meyer and R. Routley, Algebraic analysis of entailment, Logique et Analyse 15 (1972), pp. 407–428.
R. K. Meyer and R. Routley, Algebraic analysis of entailment, II, Typescript, Department of Philosophy, Research School of Social Sciences, Australian National University, Canberra, 1972.
R. K. Meyer and R. Routley, Classical relevant logics, Parts I and II, Studia Logica 32 (1973), pp. 51–66; 33 (1974), pp. 183–194.
R. K. Meyer and J. K. Slaney, Abelian logic (From A to Z), Research Paper No. 7, Logic Group. Department of Philosophy, Research School of Social Sciences, Australian National University, Canberra, 1979.
W. Prenowitz, Projective geometries as multigroups, American Journal of Mathematics 65 (1943), pp. 235–256.
W. Prenowitz, Descriptive geometries as multigroups, Transactions of the American Mathematical Society 59 (1946), pp. 333–380.
W. Prenowitz, Spherical geometries and multigroups, Canadian Journal of Mathematics 2 (1950), pp. 100–119.
W. Prenowitz and J. Jantosciak, Join Geometries, Springer, New York, 1979.
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam 1974. (Studies in Logic and the Foundations of Mathematics, Vol. 78.)
R. Routley and R. K. Meyer, The semantics of entailment, in H. Le Blanc (Ed.), Truth, Syntax and Modality, North-Holland, Amsterdam, 1973. (Studies in Logic and the Foundations of Mathematics, Vol. 68), pp. 194–243.
A. Shafaat, On varieties closed under the construction of power algebras, Bulletin of the Australian Mathematical Society 11 (1974), pp. 213–218.
A. Shafaat, Constructions preserving the associative and the commutative laws, Journal of the Australian Mathematical Society Series A, 21 (1976), pp. 112–117.
A. Shafaat, Homomorphisms, homomorphic relations and power algebras, Periodica Mathematica Hungarica 11 (1980), pp. 89–94.
M. E. Szabo, The continuous realizability of entailment, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 29 (1983), pp. 219–233.
A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), pp. 73–89.
A. Urquhart, Relevant implication and projective geometry, Logique et Analyse 26 (1983), pp. 345–357.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brink, C. R⌝-algebras and R⌝-model structures as power constructs. Stud Logica 48, 85–109 (1989). https://doi.org/10.1007/BF00370636
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370636