Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus

DOI10.1007/BF02123613zbMath0394.03018OpenAlexW2081200269MaRDI QIDQ1252223

Wojciech Buszkowski

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123613

zbMATH Keywords

SemigroupUndecidabilityLinguisticsExtensions of Ajdukiewicz-Lambek CalculusFirst Order Translations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Semigroups in automata theory, linguistics, etc. (20M35) General logic (03B99) Semigroups (20M99)

Related Items (1)

Models for the Lambek calculus

Cites Work

• The Mathematics of Sentence Structure
• Unnamed Item

This page was built for publication: Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus