Substructural negations as normal modal operators

DOI10.1007/978-3-031-57635-5_14MaRDI QIDQ7032187zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 5 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-57635-5_14

zbMATH Keywords

correspondencedisplay calculiHeyting-Brouwer logicnegationnegation as a modal operatorproof-theoretic semantics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45)

Cites work

• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A completeness theorem in modal logic
• An extension of connexive logic C
• An introduction to non-classical logic. From if to is
• Bi-intuitionistic logics: a new instance of an old problem
• Connexive modal logic
• Constructible falsity and inexact predicates
• Constructive negation, implication, and co-implication
• Display logic
• Displaying modal logic
• Falsification, natural deduction and bi-intuitionistic logic
• Generalized ortho negation
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• scientific article; zbMATH DE number 975275 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• Hypersequent and display calculi -- a unified perspective
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Modal logics with functional alternative relations
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation in the context of gaggle theory
• Negation in the light of modal logic
• Negation on the Australian plan
• On displaying negative modalities
• On logics with coimplication
• Polymodal Logics of Commuting Functions
• Power and limits of structural display rules
• Routley star and hyperintensionality
• Semantic analysis of orthologic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Sequent Calculi for Normal Modal Propositional Logics
• Sequent systems for negative modalities
• Sequent-systems and groupoid models. I
• Substructural negations
• The logic of quantum mechanics
• There is more to negation than modality

This page was built for publication: Substructural negations as normal modal operators

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