Correspondence results for relational proof systems with application to the Lambek calculus
type: Item
instance of: scholarly article
title: Correspondence results for relational proof systems with application to the Lambek calculus
zbMATH Open document ID: 1020.03017
DOI: 10.1023/A:1020572931854
author: Wendy MacCaull
author: Ewa Orłowska
published in: Studia Logica
publication date: 2002-12-15T00:00:00Z
review text: The aim of the paper is to present a general framework for proof systems for relational theories. The authors describe logics of relations and proof systems, being Rasiowa-Sikorski style deductive systems, for these logics. They give principles of a construction of deduction rules which represent the same information as specific axioms and which can replace these axioms in deduction processes. They discuss correspondences reflecting relationships between semantics of relational logics and rules of the appropriate proof systems. The methods outlined in the paper are illustrated by examples concerning relational interpretation of Lambek syntactic calculus and some of its extensions. An extensive list of 41 references is given.
reviewed by: Mirosława Kołowska-Gawiejnowicz
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1845369
zbMATH Keywords: Lambek calculus
zbMATH Keywords: relational logics
zbMATH Keywords: Rasiowa-Sikorski proof systems
zbMATH Keywords: correspondence theory
MaRDI profile type: Publication
full work available at URL: a:1020572931854
OpenAlex ID: W1495228235
description: scientific article; zbMATH DE number 1845369