Abstract
The aim of this article is to present to universal algebraists a generalization of Boolean algebras which do not obey Gentzen's three structural rules. These so-calledGrishin algebras are models ofclassical bilinear propositional logic, a non-commutative version of linear logic which allows two negations. Examples in which these negations coincide are easy to come by, but examples in which they are distinct are more elusive. To this purpose, it was found necessary to generalize the notion of a group to that of alattice ordered monoid with adjoints. While the left inverse and the right inverse of a group element necessarily coincide this is not so for the left adjoint and the right adjoint of an element in a lattice ordered monoid.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abrusci, V. M.,Phase semantics and sequent calculus for pure noncommutative linear propositional logic, J. Symbolic Logic56 (1991), 1403–1451.
Birkhoff, G.,Lattice theory, Amer. Math. Sci. Coll. Publ. 25, New York, 1967.
Blute, R. andSeely, R. A. G.,Natural deduction and coherence for weakly distributive categories, Draft, 1991.
Buszkowski, W.,Completeness results for Lambek syntactic calculus, Zeitschrift f. math. Logik u. Grundlagen d. Math.32 (1986), 13–28.
Diers, Y. andKoudsi, E.,Algèbres de Boole non-commutatives, Ann. Sci. Math. Québec16 (1992), 1–24.
DoSen, K.,A completeness theorem for the Lambek calculus of syntactic categories, Zeitschrift f. math. Logik u. Grundlagen d. Math.31 (1985), 235–241.
Girard, J.-Y.,Linear logic, J. Theoretical Computer Science50 (1987), 1–102.
Girard, J.-Y.,Towards a geometry of interactions, Contemporary Math.92 (1989), 69–108.
Grishin, V. N.,On a generalization of the Ajdukiewicz-Lambek system, in:Studies in Non-classical Logics and Formal Systems, Nauka, Moscow, 1983, pp. 315–343.
Kleene, S. C.,Introduction to metamathematics, Van Nostrand, New York, 1952.
Lambek, J.,The mathematics of sentence structure, Amer. Math. Monthly65 (1958), 154–169.
Lambek, J.,On a connection between algebra, logic and linguistics, Diagrammes22 (1989), 59–75.
Lambek, J.,From categorial grammar to bilinear logic, in: K. Dosen and P. Schroeder-Heister (eds.),Substructural Logics, Oxford University Press, 1993, 207–237.
Lambek, J.,Some Galois connections in elementary number theory, J. Number Theory47 (1994), 371–377.
Lawvere, F. W.,Metric spaces, generalized logic and closed categories, Rend, del Sem. Mat. e Fis. di Milano43 (1973), 135–166.
Ono, H.,Semantics for substructural logics, in: K. Dosen and P. Schroeder-Heister (eds.),Substructural Logics, Oxford University Press, 1993.
Rosenthal, K. I.,Quantales and their applications, Longman Scientific and Technical, Harlow, Essex, 1990.
Rosenthal, K. I.,*-autonomouscategories of bimodules, manuscript, Union College, 1993.
Tarski, A. andGivant, S.,A formalization of set theory without variables, AMS Colloquium Publications41, Providence, R.I., 1987.
Trimble, T. H.,The bimodule interpretation of linear logic, Rutgers University Thesis, 1993.
Yetter, D. N.,Quantales and (non-commutative) linear logic, J. Symbolic Logic55 (1990), 41–64.
Author information
Authors and Affiliations
Additional information
Dedicated to the memory of Alan Day
Rights and permissions
About this article
Cite this article
Lambek, J. Some lattice models of bilinear logic. Algebra Universalis 34, 541–550 (1995). https://doi.org/10.1007/BF01181877
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01181877