Citations of work:

V. M. Abrusci (1991). Sequent Calculus and Phase Semantics for Pure Non-Commutative Classical Propositional Logic.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  18
    Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.
    We discuss the logic of pregroups, introduced by Lambek [34], and its connections with other type logics and formal grammars. The paper contains some new ideas and results: the cut-elimination theorem and a normalization theorem for an extended system of this logic, its P-TIME decidability, its interpretation in L1, and a general construction of (preordered) bilinear algebras and pregroups whose universe is an arbitrary monoid.
    Direct download (5 more)  
    Export citation