Deductive systems and categories II. Standard constructions and closed categories

@inproceedings{Lambek1969DeductiveSA,
  title={Deductive systems and categories II. Standard constructions and closed categories},
  author={J. Lambek},
  year={1969}
}
223 Citations
On pseudo-bialgebras
Dynamical Systems and Sheaves
A sequent calculus for a semi-associative
A sequent calculus for a semi-associative law
  • N. Zeilberger
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • 2019
Cofibrantly Generated Lax Orthogonal Factorisation Systems
  • I. Franco
  • Computer Science, Mathematics
  • Appl. Categorical Struct.
  • 2019
The Sequent Calculus of Skew Monoidal Categories
A Sequent Calculus for a Semi-Associative Law
A comparison between monoidal and substructural logics
Higher theories of algebraic structures
Trivalent logics arising from L-models for the Lambek calculus with constants
  • S. Kuznetsov
  • Mathematics, Computer Science
  • J. Appl. Non Class. Logics
  • 2014
...
1
2
3
4
5
...