### On Semantics of a Term Calculus for Classical Logic

Silvia Likavec, Pierre Lescanne (2012)

Publications de l'Institut Mathématique

Similarity:

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Silvia Likavec, Pierre Lescanne (2012)

Publications de l'Institut Mathématique

Similarity:

Laurent, Olivier (2009)

Theory and Applications of Categories [electronic only]

Similarity:

Strassburger, Lutz (2007)

Theory and Applications of Categories [electronic only]

Similarity:

Cruttwell, G.S.H., Marmolejo, F., Wood, R.J. (2007)

Theory and Applications of Categories [electronic only]

Similarity:

Trnková, V, Sichler, J. (2008)

Theory and Applications of Categories [electronic only]

Similarity:

Marmolejo, F., Wood, R.J. (2008)

Theory and Applications of Categories [electronic only]

Similarity:

Goubault-Larrecq, Jean, Goubault, Éric (2003)

Homology, Homotopy and Applications

Similarity:

Đorđe Kadijević (2005)

The Teaching of Mathematics

Similarity:

Freyd, Peter (2008)

Theory and Applications of Categories [electronic only]

Similarity:

Giordano, P. (2004)

Acta Mathematica Universitatis Comenianae. New Series

Similarity:

Manes, Ernie, Mulry, Philip (2007)

Theory and Applications of Categories [electronic only]

Similarity:

Szabolcs Mikulás (1993)

Banach Center Publications

Similarity:

In [vB88], Johan van Benthem introduces Relational Semantics (RelSem for short), and states Soundness Theorem for Lambek Calculus (LC) w.r.t. RelSem. After doing this, he writes: "it would be very interesting to have the converse too", i.e., to have Completeness Theorem. The same question is in [vB91, p. 235]. In the following, we state Strong Completeness Theorems for different versions of LC.

Radul, Taras (2001)

Revista Colombiana de Matemáticas

Similarity: