Journal article
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus
Abstract
We present a general framework for proof systems for relational theories. We discuss principles of the construction of deduction rules and correspondences reflecting relationships between semantics of relational logics and the rules of the respective proof systems. We illustrate the methods developed in the paper with examples relevant for the Lambek calculus and some of its extensions.
Authors
MacCaull W; Orłlowska E
Journal
Studia Logica, Vol. 71, No. 3, pp. 389–414
Publisher
Springer Nature
Publication Date
August 2002
DOI
10.1023/a:1020572931854
ISSN
0039-3215