Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation

08/01/2023
by   Michael Moortgat, et al.
0

By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management. The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC .

READ FULL TEXT
research
07/04/2018

Logical rules as fractions and logics as sketches

In this short paper, using category theory, we argue that logical rules ...
research
11/17/2022

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

This proceedings contains abstracts and position papers for the work pre...
research
07/25/2002

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) fo...
research
10/24/2019

GF + MMT = GLF – From Language to Semantics through LF

These days, vast amounts of knowledge are available online, most of it i...
research
07/22/2020

Graded Hoare Logic and its Categorical Semantics

Deductive verification techniques, based on program logics (i.e., the fa...
research
08/10/2022

Proceedings End-to-End Compositional Models of Vector-Based Semantics

The workshop End-to-End Compositional Models of Vector-Based Semantics w...
research
06/08/2019

Paraconsistency, resolution and relevance

Digraphs provide an alternative syntax for propositional logic, with dig...

Please sign up or login with your details

Forgot password? Click here to reset