Pages that link to "Item:Q3797160"

The following pages link to Natural deduction and sequent calculus for intuitionistic relevant logic (Q3797160):

Displaying 45 items.

• Why conclusions should remain single (Q543530) (← links)
• Free semantics (Q600848) (← links)
• Connectives stranger than tonk (Q853814) (← links)
• The objectivity of mathematics (Q885536) (← links)
• Truth table logic, with a survey of embeddability results (Q912092) (← 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)
• Natural deduction for non-classical logics (Q1577342) (← links)
• The revival of rejective negation (Q1582228) (← links)
• A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction (Q1679799) (← links)
• On argumentation logic and propositional logic (Q1743995) (← links)
• On purely relevant logics (Q1820761) (← links)
• Natural deduction for intuitionistic linear logic (Q1891252) (← 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)
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
• An adaptive logic for relevant classical deduction (Q2475430) (← links)
• Problems of relevant logic in V. A. Smirnov's book: Formal deduction and logical calculi (Q2778333) (← links)
• Intuitionism and relevance (Q2782585) (← links)
• ADC method of proof search for intuitionistic propositional natural deduction (Q2804335) (← links)
• CHR: a constructive relevant natural-deduction logic (Q2845524) (← links)
• Cut for core logic (Q2919946) (← links)
• Relevance and paraconsistency—a new approach (Q3484811) (← links)
• Lambek Calculus in Natural Deduction (Q3520236) (← links)
• Natural deduction for the finite least fixed point logic with an infinitary rule (Q3644843) (← links)
• Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
• 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
• (Q4362904) (← links)
• (Q4428311) (← links)
• Extended Natural Deduction Images of Conversions from the System of Sequents (Q4659951) (← links)
• (Q4874650) (← links)
• Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037) (← links)
• (Q5039098) (← links)
• non-transitive relevant implication corresponding to classical logic consequence (Q5235072) (← links)
• Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
• (Q5869608) (← links)
• Rewriting Techniques and Applications (Q5901566) (← links)
• Disjunctive syllogism without \textit{ex falso} (Q6612869) (← links)