Abstract
Symmetric generalized Galois logics (i.e., symmetric gGls) are distributive gGls that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGls by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGls. We generalize the weak distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGls. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGls and classes of structures for them.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Allwein G., Dunn J.M.: Kripke models for linear logic. J. Symbolic Logic 58, 514–545 (1993)
Anderson A.R., Belnap N.D., Dunn J.M.: Entailment. The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
Bimbó K.: Semantics for structurally free logics LC + . Logic J. IGPL 9, 525–539 (2001)
Bimbó, K.: Relevance logics. In: Dale, J. (ed.) Philosophy of Logic. In: Gabbay, D., Thagard, P., Woods, J. (eds.) Handbook of the Philosophy of Science, vol. 5, pp. 723–789. Elsevier (North-Holland), Amsterdam (2007)
Bimbó K.: Dual gaggle semantics for entailment. Notre Dame J. Formal Logic 50(1), 23–41 (2009)
Bimbó K., Dunn J.M.: Two extensions of the structurally free logic LC. Logic J. IGPL 6, 403–424 (1998)
Bimbó, K., Dunn, J.M.: Generalized Galois logics. Relational Semantics of Nonclassical Logical Calculi. CSLI Lecture Notes, vol. 188, CSLI Publications, Stanford (2008)
Carnielli, W., Coniglio, M.E.: Logic, combining. Stanford. In: Zalta, E. (ed.) Encyclopedia of Philosophy. URL: plato.stanford.edu/entries/logic-combining (2007)
Church A.: Introduction to Mathematical Logic, Revised and Enlarged. Princeton University Press, Princeton (1996)
Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
Dunn J.M.: Relevance logic and entailment. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 3, 1st edn, pp. 117–229. D. Reidel, Dordrecht (1986)
Dunn J.M.: Gaggle theory: an abstraction of Galois connections and residuation with applications to negation, implication, and various logical operators. Logics. In: Eijck, J. (eds) AI: European Workshop JELIA’90, Lecture Notes in Computer Science, vol. 478, pp. 31–51. Springer, Berlin (1991)
Dunn J.M.: Partial-gaggles applied to logics with restricted structural rules. In: Došen, K., Schroeder-Heister, P. (eds) Substructural Logics, pp. 63–108. Clarendon, Oxford (1993)
Dunn J.M.: Gaggle theory applied to intuitionistic, modal and relevance logic. In: Max, I., Stelzner, W. (eds) Logik und Mathematik. Frege–Kolloquium Jena, pp. 335–368. W. de Gruyter, Berlin (1995)
Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic. Oxford Logic Guides, vol. 41. Oxford University Press, Oxford (2001)
Dunn J.M., Meyer R.K.: Combinators and structurally free logic. Logic J. IGPL 5, 505–537 (1997)
Dunn J.M., Restall G.: Relevance logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1–128. Kluwer, Amsterdam (2002)
Grishin V.N.: On a generalization of the Ajdukiewicz–Lambek system. In: Mikhaǐlov, A.I. (eds) Investigations into Nonclassical Logics and Formal Systems, pp. 315–334. Nauka, Moscow (1983)
Lambek J.: The mathematics of sentence structure. Am. Math. Mon. 65, 154–169 (1958)
Lambek J.: On the calculus of syntactic types. In: Jacobson, R. (eds) Structure of Language and its Mathematical Aspects, pp. 166–178. American Mathematical Society, Providence (1961)
Meyer R.K., Routley R.: Algebraic analysis of entailment I. Logique Anal. 15, 407–428 (1972)
Moortgat M.: Symmetries in natural language syntax and semantics: the Lambek–Grishin calculus. In: Leivant, D., Queiroz, R. (eds) WOLLIC 2007, Lecture Notes in Computer Science, vol. 4576, pp. 264–284. Springer, Heidelberg (2007)
Priestley H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)
Restall G.: An Introduction to Substructural Logics. Routledge, London (2000)
Stone M.H.: Topological representations of distributive lattices and Brouwerian logics. Časopis pro pěstování matematiky a fysiky, Čast matematická 67, 1–25 (1937)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bimbó, K., Dunn, J.M. Symmetric Generalized Galois Logics. Log. Univers. 3, 125–152 (2009). https://doi.org/10.1007/s11787-009-0004-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-009-0004-3