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

negative modalitiesintuitionistic negationssubstructural negations

Mathematics Subject Classification ID

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

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)

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

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)