Order-enriched categorical models of the classical sequent calculus

From MaRDI portal
Publication:2576913

DOI10.1016/j.jpaa.2005.03.016zbMath1081.03068OpenAlexW2051450758MaRDI QIDQ2576913

David J. Pym, Carsten Führmann

Publication date: 29 December 2005

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2005.03.016




Related Items (5)



Cites Work


This page was built for publication: Order-enriched categorical models of the classical sequent calculus