A positive information logic for inferential information

DOI10.1007/S11229-008-9406-7zbMATH Open1171.03304OpenAlexW1988652962MaRDI QIDQ833030FDOQ833030

Authors: Sebastian Sequoiah-Grayson 

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9406-7

Recommendations

• Modeling positive and negative information in possibility theory
• scientific article; zbMATH DE number 1302505
• scientific article; zbMATH DE number 1322635
• A logic for reasoning about stochastic information
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Information and evidence in logic systems
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• An operational logic of proofs with positive and negative information
• scientific article; zbMATH DE number 821983
• scientific article; zbMATH DE number 6131418

zbMATH Keywords

informationresidualsinferencestructural rulespogroupoids

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Modal logic
• Title not available (Why is that?)
• The logic of information structures
• Algebraic methods in philosophical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• An introduction to non-classical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Information Flow
• Language in action. Categories, lambdas and dynamic logic
• CHR: a constructive relevant natural-deduction logic
• Title not available (Why is that?)
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• All I know: A study in autoepistemic logic
• Title not available (Why is that?)
• Relevant logic and the theory of information
• Logical pluralism and semantic information
• A Useful Substructural Logic
• Information flow and impossible situations
• Title not available (Why is that?)
• A partial order on classical and quantum states
• Title not available (Why is that?)
• Local information and adaptive consequence

Cited In (4)

• Substructural epistemic logics
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Epistemic closure and commutative, nonassociative residuated structures
• Title not available (Why is that?)

This page was built for publication: A positive information logic for inferential information

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