Results 121 to 130 of about 884 (194)
Density Elimination for Semilinear Substructural Logics [PDF]
, 2015 SanMin Wang
openalex +1 more source
An Algebraic Approach to the Disjunction Property of Substructural Logics [PDF]
, 2007 Daisuke Souma
openalex +1 more source
Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
, 2018 The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural Logics" have the same ...
Truhlář, Pavel
core
Bunched Hypersequent Calculi for Distributive Substructural Logics
, 2018 Agata Ciabattoni, Revantha Ramanayake
openalex +2 more sources
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended) [PDF]
, 2014 Asiri Rathnayake, Hayo Thielecke
openalex +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
, 2021 Francesco Dagnino, Fabio Pasquali
openalex +1 more source
Substructural logics, pragmatic enrichment, and the inferential role of logical constants
My aim in this paper is to present a pluralist thesis about the inferential role of logical constants, which embraces classical, relevant, linear and ordered logic.
Terrés Villalonga, Pilar
core +1 more source