scientific article; zbMATH DE number 1231527

zbMath0908.03008MaRDI QIDQ4222842

Vaughan R. Pratt

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#pratt

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logiclinear logicdenotational semanticscategorical semanticscategory of Chu spacesembedding of small categoryvariant of Yoneda embedding

Mathematics Subject Classification ID

Classical first-order logic (03B10) Special properties of functors (faithful, full, etc.) (18A22) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: