Substructural negations

MaRDI QIDQ3466633zbMATH OpenFDO

Authors Takuro Onishi

Publication date 1 February 2016

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

zbMATH Keywords

intuitionistic negationsnegative modalitiessubstructural negations

Mathematics Subject Classification ID

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

Recommendations

• On displaying negative modalities
• Normal modal substructural logics with strong negation
• scientific article; zbMATH DE number 4061191
• Negation in the light of modal logic
• scientific article; zbMATH DE number 4016857

Cited in

(18)

• On the structure of involutive, contracting and expanding negations
• Normal modal substructural logics with strong negation
• Sequent systems for negative modalities
• Subatomic negation
• Disentangling structural connectives or life without display property
• External, restricted external, and internal negations in a two-dimensional logic
• Negation and involutive adjunctions
• On split negation, strong negation, information, falsification, and verification
• Bridging the two plans in the semantics for relevant logic
• scientific article; zbMATH DE number 4061191 (Why is no real title available?)
• On displaying negative modalities
• Negation in weak positional calculi
• Metainferential duality
• Understanding negation implicationally in the relevant logic R
• Substructural negations as normal modal operators
• Introduction
• Negation in the context of gaggle theory
• Negation and affirmation: the role of involutive negators

This page was built for publication: Substructural negations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466633)