Abstract
This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.
Similar content being viewed by others
References
Anderson, A. R. and N. D. Belnap jr., 1975, Entailment 1, Princeton U.P., Princeton.
Anderson, A. R, N. D. Belnap jr. and J. M. Dunn, 1992, Entailment 2, Princeton U.P., Princeton.
Birkhoff, G., 1973, Lattice Theory, American Mathematical Society, Providence, Rhode Island, 1973.
Brink, C., 1988, ‘Multisets and the Algebra of Relevance Logic’, The Journal of Non-classical logic, 5, 75–95.
Brink, C., 1989, ‘R¬-algebras and R¬-model structures as power constructs’, Studia Logica, 48 85–109.
Comer, S. D., 1983, ‘A new foundation for the theory of relations’, Notre Dame J. of Formal Logic, 24, 181–187.
Davey, B. A. and D. Duffus, 1982, ‘Exponentiation and duality’, in Ordered sets, ed. I. Rival, Reidel, Dordrecht, 43–95.
Davey, B. A. and H. A. Priestley, 1990, Introduction to lattices and order, Cambridge University Press, Cambridge.
Hansoul, G., 1983, ‘A duality for Boolean algebras with operators’, Algebra Universalis 17, 34–49.
Jónsson, B. and A. Tarski, 1951, ‘Boolean algebras with operators I’, Amer. J. Math. 73, 891–939.
Jónsson, B. and A. Tarski, 1952, ‘Boolean algebras with operators II’, Amer. J. Math. 74, 127–162.
Maksimova, L. L., 1973, ‘Structures with implication’, Algebra i Logika 12, 445–467.
Meyer, R. K. and R. Routley, 1972, ‘Algebraic analysis of entailment I’, Logique et Analyse 15, 407–428.
Priestley, H. A., 1979, ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc. 2, 186–190.
Priestley, H. A., 1984, ‘Ordered sets and duality for distributive lattices’, in Orders: description and roles, ed. by M. Pouzet and D. Richard, Annals of Discrete Mathematics 23, North-Holland, Amsterdam, 39–60.
Routley, R. and R. K. Meyer, 1973, ‘The semantics of entailment I’ in: Truth, syntax and modality, ed. H. Leblanc, North-Holland Publishing Company, Amsterdam, 199–243.
Routley, R. and R. K. Meyer, 1972, ‘The semantics of entailment II’, Journal of philosophical logic 1, 53–73.
Routley, R. dad and R. K.Meyer, 1972, ‘The semantics of entailment III’, Journal of philosophical logic 1, 192–208.
Routley, R. with R. K. Meyer, V. Plumwood and R. T. Brady, 1982, Relevant logics and their rivals 1, Ridgeview Publishing Company, Atascadero, California.
Urquhart, A., 1979, ‘Distributive lattices with a dual homomorphic operation’, Studia Logica 38, 201–209.
Urquhart, A., 1982, ‘Distributive lattices with a dual homomorphic operation II’, Studia Logica 40, 391–404.
Urquhart, A., 1993, ‘Failure of interpolation in relevant logics’, J. of Philosophical Logic 22, 449–479.
Author information
Authors and Affiliations
Additional information
The author gratefully acknowledges the support of the National Sciences and Engineering Research Council of Canada.
Rights and permissions
About this article
Cite this article
Urquhart, A. Duality for algebras of relevant logics. Stud Logica 56, 263–276 (1996). https://doi.org/10.1007/BF00370149
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370149