scientific article

zbMath1330.03053MaRDI QIDQ3466633

Takuro Onishi

Publication date: 1 February 2016

Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/2225/3460

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

negative modalitiesintuitionistic negationssubstructural negations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Sequent systems for negative modalities ⋮ Disentangling structural connectives or life without display property ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Understanding negation implicationally in the relevant logic R ⋮ On Displaying Negative Modalities

This page was built for publication: