Pages that link to "Item:Q3437263"
From MaRDI portal
The following pages link to On Action Logic: Equational Theories of Action Algebras (Q3437263):
Displayed 14 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Equational theories for automata (Q2074221) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5079743) (← links)
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests (Q6160745) (← links)