AI Chat AI Image Generator AI Video Text to Speech

Iterative division in the product-free Distributive Full Non-associative Lambek Calculus

09/25/2019

∙

by Igor Sedlár, et al.

∙

∙

We study an extension of the product-free Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete axiomatization of the logic is provided and decidability is established via a proof of the finite model property.

page 1

page 2

page 3

page 4

research

∙ 09/25/2019

Iterative division in the Distributive Full Non-associative Lambek Calculus

We study an extension of the Distributive Full Non-associative Lambek Ca...

0 Igor Sedlár, et al. ∙

research

∙ 07/09/2023

A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows

We analyse abstract data types that model numerical structures with a co...

0 Jan A. Bergstra, et al. ∙

research

∙ 09/25/2019

First Degree Entailment with Group Attitudes and Information Updates

We extend the epistemic logic with De Morgan negation by Fagin et al. (A...

0 Igor Sedlár, et al. ∙

research

∙ 03/02/2021

Focus-style proof systems and interpolation for the alternation-free μ-calculus

In this paper we introduce a cut-free sequent calculus for the alternati...

0 Johannes Marti, et al. ∙

research

∙ 08/08/2023

Multimodality in the Hypergraph Lambek Calculus

The multimodal Lambek calculus is an extension of the Lambek calculus th...

0 Tikhon Pshenitsyn, et al. ∙

research

∙ 11/15/2020

Quantitative towers in finite difference calculus approximating the continuum

Multivector fields and differential forms at the continuum level have re...

0 R. Lawrence, et al. ∙

research

∙ 07/31/2022

Countdown μ-calculus

We introduce the countdown μ-calculus, an extension of the modal μ-calcu...

0 Jędrzej Kołodziejski, et al. ∙