On Split Negation, Strong Negation, Information, Falsification, and Verification

DOI10.1007/978-3-319-29300-4_10zbMath1439.03057OpenAlexW2465522750MaRDI QIDQ3305426

Heinrich Wansing

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_10

zbMATH Keywords

verificationinformationstrong negationfalsificationsplit negation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (13)

Routley star and hyperintensionality ⋮ The Došen square under construction: a tale of four modalities ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ First-degree entailment and its relatives ⋮ A more general general proof theory ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Reprint of: ``A more general general proof theory ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Intuitionistic propositional logic with Galois negations ⋮ There is more to negation than modality ⋮ A hyperintensional logic of non-prime evidence ⋮ A note on synonymy in proof-theoretic semantics ⋮ Connexive Conditional Logic. Part I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• Between order and chaos: The quest for meaningful information
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Negation in the context of gaggle theory
• The class of extensions of Nelson's paraconsistent logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Some useful 16-valued logics: How a computer network should think
• General information in relevant logic
• Constructive negations and paraconsistency
• The semantics of entailment. II
• Intuitionistic logic with strong negation
• The logic of information structures
• Informational interpretation of substructural propositional logics
• Semantic analysis of orthologic
• Substructural logics: a primer
• What is negation?
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• On Birkhoff's common abstraction problem
• Contradictory information: too much of a good thing
• The logic of generalized truth values and the logic of bilattices
• Logics and falsifications. A new perspective on constructivist semantics
• Falsification, natural deduction and bi-intuitionistic logic
• The Mathematics of Sentence Structure
• Constructive negation, implication, and co-implication
• The Stone Space of an Ortholattice
• DYNAMIC NEGATION AND NEGATIVE INFORMATION

This page was built for publication: On Split Negation, Strong Negation, Information, Falsification, and Verification