On split negation, strong negation, information, falsification, and verification

DOI10.1007/978-3-319-29300-4_10MaRDI QIDQ3305426zbMATH OpenOpenAlexFDO

Authors 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

falsificationinformationsplit negationstrong negationverification

Mathematics Subject Classification ID

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

Recommendations

• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Constructive predicate logic with strong negation and model theory
• Negation as falsity: A reply to Tennant
• scientific article; zbMATH DE number 3993533
• Negation and contradiction

Cites work

• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Algebraic methods in philosophical logic
• Between order and chaos: The quest for meaningful information
• Connexive modal logic
• Connexive modal logic based on positive S4
• Constructive negation, implication, and co-implication
• Constructive negations and paraconsistency
• Contradictory information: too much of a good thing
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Falsification, natural deduction and bi-intuitionistic logic
• General information in relevant logic
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Generalized ortho negation
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• Informational interpretation of substructural propositional logics
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logics and falsifications. A new perspective on constructivist semantics
• 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
• On Birkhoff's common abstraction problem
• Partiality and its dual
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Proofs, disproofs, and their duals
• Semantic analysis of orthologic
• Some useful 16-valued logics: How a computer network should think
• Substructural logics: a primer
• Substructural negations
• The Blackwell guide to philosophical logic
• The class of extensions of Nelson's paraconsistent logic
• The logic of generalized truth values and the logic of bilattices
• The logic of information structures
• The Mathematics of Sentence Structure
• The semantics of entailment. II
• The Stone Space of an Ortholattice
• Truth and falsehood. An inquiry into generalized logical values
• What is negation?

Cited in

(18)

• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• First-degree entailment and its relatives
• A more general general proof theory
• Reprint of: ``A more general general proof theory
• There is more to negation than modality
• The Došen square under construction: a tale of four modalities
• Intuitionistic propositional logic with Galois negations
• Connexive conditional logic. I
• A procedural interpretation of split negation
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Tarskian consequence relations bilaterally: some familiar notions
• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
• A hyperintensional logic of non-prime evidence
• A note on synonymy in proof-theoretic semantics
• Comparing sense and denotation in bilateralist proof systems for proofs and refutations
• Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
• Routley star and hyperintensionality
• Verificaton, falsification, and cancellation in KT

This page was built for publication: On split negation, strong negation, information, falsification, and verification

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