Pages that link to "Item:Q3797160"
From MaRDI portal
The following pages link to Natural deduction and sequent calculus for intuitionistic relevant logic (Q3797160):
Displaying 21 items.
- Why conclusions should remain single (Q543530) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- The objectivity of mathematics (Q885536) (← links)
- A model of tolerance (Q1005965) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- Körner's criterion of relevance and analytic tableaux (Q1187981) (← links)
- Whither relevance logic? (Q1198408) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- Anti-realist truth and concepts of superassertibility (Q1293005) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- The revival of rejective negation (Q1582228) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- On purely relevant logics (Q1820761) (← links)
- On the equivalence conjecture for proof-theoretic harmony (Q1934955) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision (Q2350222) (← links)
- (Q2782585) (← links)
- CUT FOR CORE LOGIC (Q2919946) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Disjunctive syllogism without \textit{ex falso} (Q6612869) (← links)
