General information in relevant logic

DOI10.1007/S11229-008-9412-9MaRDI QIDQ833037zbMATH OpenOpenAlexFDO

Authors Edwin D. Mares

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-9412-9

zbMATH Keywords

informationnonclassical logicquantificationrelevant logic

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)

Recommendations

• scientific article; zbMATH DE number 4130339
• Relevant logic and the theory of information
• scientific article; zbMATH DE number 49692
• scientific article; zbMATH DE number 481632
• scientific article; zbMATH DE number 753781
• scientific article; zbMATH DE number 1828004
• scientific article; zbMATH DE number 1749198
• scientific article; zbMATH DE number 5542889
• scientific article; zbMATH DE number 1032006

Cites work

• An alternative semantics for quantified relevant logic
• CHR: a constructive relevant natural-deduction logic
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 3967882 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• Semantics for quantified relevance logic

Cited in

(9)

• Identity in Mares-Goldblatt models for quantified relevant logic
• Neighbourhood semantics for quantified relevant logics
• Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
• Comparing contents with information
• On split negation, strong negation, information, falsification, and verification
• Informational semantics as a third alternative?
• A substructural approach to explicit modal logic
• The nature of information: a relevant approach
• First-order relevant reasoners in classical worlds

This page was built for publication: General information in relevant logic

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