AI Chat AI Image Generator AI Video Text to Speech

Iterative division in the Distributive Full Non-associative Lambek Calculus

09/25/2019

∙

by Igor Sedlár, et al.

∙

∙

We study an extension of the 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.

research

∙ 09/25/2019

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

We study an extension of the product-free Distributive Full Non-associat...

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

∙ 07/21/2022

A Labelled Sequent Calculus for Public Announcement Logic

Public announcement logic(PAL) is an extension of epistemic logic (EL) w...

0 Hao Wu, et al. ∙

research

∙ 04/14/2022

Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus

The aim of our paper is twofold: firstly we present a sequent calculus f...

0 Agata Tomczyk, 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

∙ 04/23/2018

Bisimulations for Delimited-Control Operators

We propose a survey of the behavioral theory of an untyped lambda-calcul...

0 Dariusz Biernacki, et al. ∙