scientific article; zbMATH DE number 972605

MaRDI QIDQ5691522zbMATH OpenFDO

Authors Greg Restall

Publication date 16 November 1997

zbMATH Keywords

accessibilityrelevant logicchannel theorychannel theoretic models of information flowrelvant model structuresRoutley-Meyer frames

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Channel models (including quantum) in information and communication theory (94A40) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 873168
• scientific article; zbMATH DE number 733404
• On the Logic of Information Flow
• Relevant logic and the theory of information
• scientific article; zbMATH DE number 5542889
• scientific article; zbMATH DE number 49692
• scientific article; zbMATH DE number 481632
• scientific article; zbMATH DE number 1302505

Cited in

(35)

• Bridging the two plans in the semantics for relevant logic
• A relevant logic of questions
• A positive information logic for inferential information
• An information-based theory of conditionals
• Logical pluralism and semantic information
• Epistemic relevance and epistemic actions
• A substructural approach to explicit modal logic
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Substructural epistemic logics
• Neighbourhood semantics for modal relevant logics
• Information flow in logics in the vicinity of \textbf{BB}
• On the ternary relation and conditionality
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Information Flow and Design Systems
• Negation on the Australian plan
• Linear and affine logics with temporal, spatial and epistemic operators
• Epistemic logics for relevant reasoners
• Dependent information flow types
• Lambek calculus with conjugates
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Relevant connexive logic
• On the Logic of Information Flow
• The nature of entailment: an informational approach
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Informational semantics as a third alternative?
• The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility
• General information in relevant logic
• Dynamic Epistemic Logic as a Substructural Logic
• Relevant logic and the theory of information
• Static Analysis
• On when a disjunction is informative. Ambiguous connectives and a realist commitment to pluralism
• Understanding negation implicationally in the relevant logic R
• Disjunctive Information Flow for Communicating Processes
• A hyperintensional logic of non-prime evidence
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics

This page was built for publication:

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