Results 121 to 130 of about 884 (194)
Density Elimination for Semilinear Substructural Logics [PDF]
SanMin Wang
openalex +1 more source
An Algebraic Approach to the Disjunction Property of Substructural Logics [PDF]
Daisuke Souma
openalex +1 more source
Fragments of intuitionistic logic, intermediate logics and substructural logics (selected problems).
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
Agata Ciabattoni, Revantha Ramanayake
openalex +2 more sources
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended) [PDF]
Asiri Rathnayake, Hayo Thielecke
openalex +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
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

