Infinitary action logic: complexity, models and grammars
type: Item
instance of: scholarly article
title: Infinitary action logic: complexity, models and grammars
zbMATH Open document ID: 1209.03015
author: Wojciech Buszkowski
author: Ewa Palka
published in: Studia Logica
publication date: 2008-07-31T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 5306426
zbMATH Keywords: Kleene algebra
zbMATH Keywords: action algebra
zbMATH Keywords: relation algebra
zbMATH Keywords: categorial grammar
MaRDI profile type: Publication
full work available at URL: s11225-008-9116-7
OpenAlex ID: W2149439075
cites work: Q5541333
cites work: On the Complexity of the Equational Theory of Relational Action Algebras
cites work: On Action Logic: Equational Theories of Action Algebras
cites work: Q4342081
cites work: Q3590769
cites work: Q3740201
cites work: From semirings to residuated Kleene lattices
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: On the complexity of reasoning in Kleene algebra
cites work: Q4362921
cites work: The Mathematics of Sentence Structure
cites work: Cut-elimination theorem for relevant logics
cites work: Q4940727
cites work: Lambek calculus is NP-complete
cites work: Q4287490
DOI: 10.1007/S11225-008-9116-7
description: scientific article; zbMATH DE number 5306426