CHR: a constructive relevant natural-deduction logic
From MaRDI portal
Publication:2845524
Recommendations
- Natural deduction and sequent calculus for intuitionistic relevant logic
- A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
- scientific article; zbMATH DE number 3891328
- Natural deduction for non-classical logics
- Chrysippus' logic in a natural deduction setting
- The Correspondence Between the Logical Algorithms Language and CHR
- Natural \(p\)-logics
- Natural deduction, hybrid systems and modal logics
- Natural deduction for paraconsistent logic
- Substructural Logics in Natural Deduction
Cited in
(17)- The concept of relevance and the logic diagram tradition
- Human rationality challenges universal logic
- Chrysippus' logic in a natural deduction setting
- Logical pluralism and semantic information
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- R and relevance principle revisited
- What is relevance logic?
- A relevant analysis of natural deduction
- On the ternary relation and conditionality
- Logical consequence and the paradoxes
- Informational semantics as a third alternative?
- Structures and logics: a case for (a) relativism
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Inconsistency in Ceteris Paribus Imagination
- The nature of information: a relevant approach
- A positive information logic for inferential information
- General information in relevant logic
This page was built for publication: CHR: a constructive relevant natural-deduction logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845524)
