Density Elimination for Semilinear Substructural Logics [PDF]
, 2015 SanMin Wang
openalex +1 more source
A pragmatic interpretation of substructural logics
, 2017 Following work by Dalla Pozza and Garola on a pragmatic interpretation of intuitionistic and deontic logics, we present a sequent calculus ILP formalizing the derivation of assertive judgements and obligations from mixed contexts of assertions, obligations and expressions of the causal interactions between them.
BELLIN, Gianluigi, Carlo Dalla Pozza
openaire +2 more sources
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
, 2003 In a recent paper, Jean-Yves Girard commented that ”it has been a long time since philosophy has stopped intereacting with logic”[17].
Marion, Mathieu, Sadrzadeh, Mehrnoosh
core +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
, 2021 Francesco Dagnino, Fabio Pasquali
openalex +1 more source
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
, 1995 We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover.
Luz-Filho, Saturnino F., Sturt, Patrick
core +1 more source
An Algebraic Approach to the Disjunction Property of Substructural Logics [PDF]
, 2007 Daisuke Souma
openalex +1 more source
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended) [PDF]
, 2014 Asiri Rathnayake, Hayo Thielecke
openalex +1 more source
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions [PDF]
, 2013 Àngel García-Cerdaña, Ventura Verdú
openalex +1 more source
Bunched Hypersequent Calculi for Distributive Substructural Logics
, 2018 Agata Ciabattoni, Revantha Ramanayake
openalex +2 more sources
Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics [PDF]
, 2011 Robert Rothenberg
openalex +1 more source