NDLI: Cut-Rule Axiomatization of the Syntactic Calculus L0

Content Provider	Springer Nature Link
Author	Zielonka, Wojciech
Copyright Year	2001
Abstract	In Zielonka (1981a, 1989), I found an axiomatics for the product-free calculus L of Lambek whose only rule is the cut rule. Following Buszkowski (1987), we shall call such an axiomatics linear. It was proved that there is no finite axiomatics of that kind. In Lambek's original version of the calculus (cf. Lambek, 1958), sequent antecedents are non empty. By dropping this restriction, we obtain the variant L $_{0}$ of L. This modification, introduced in the early 1980s (see, e.g., Buszkowski, 1985; Zielonka, 1981b), did not gain much popularity initially; a more common use of L $_{0}$ has only occurred within the last few years (cf. Roorda, 1991: 29). In Zielonka (1988), I established analogous results for the restriction of L $_{0}$ to sequents without left (or, equivalently, right) division. Here, I present a similar (cut-rule) axiomatics for the whole of L $_{0}$.This paper is an extended, corrected, and completed version of Zielonka (1997). Unlike in Zielonka (1997), the notion of rank of an axiom is introduced which, although inessential for the results given below, may be useful for the expected non-finite-axiomatizability proof.The paper follows the same way of subject exposition as Zielonka (2000) but it is technically much less complicated. I restrict myself to giving bare results; all the ideological background is exactly the same as in case of the non-associative calculusNL $_{0}$ and those who are interested in it are requested to consult the introductory section of Zielonka (2000).
Starting Page	233
Ending Page	236
Page Count	4
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	10
Issue Number	2
e-ISSN	15729583
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2001-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Logic Artificial Intelligence (incl. Robotics) Semantics
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Cut-Rule Axiomatization of the Syntactic Calculus NL0

Syntactic Calculus with Dependent Types

A Cut-Free Gentzen Formulation of Basic Propositional Calculus

The Resolution Calculus, Alexander Leitsch

An Equational Axiomatization of Dynamic Negation and Relational Composition

Tolerance Logic

James D. McCawley, The Syntactic Phenomena of English, second edition

Fragments of Language

Unnatural Language Processing

Cut-Rule Axiomatization of the Syntactic Calculus L0

Similar Documents

Cut-Rule Axiomatization of the Syntactic Calculus NL0

Syntactic Calculus with Dependent Types

A Cut-Free Gentzen Formulation of Basic Propositional Calculus

The Resolution Calculus, Alexander Leitsch

An Equational Axiomatization of Dynamic Negation and Relational Composition

Tolerance Logic

James D. McCawley, The Syntactic Phenomena of English, second edition

Fragments of Language

Unnatural Language Processing

Cut-Rule Axiomatization of the Syntactic Calculus L0