Pages that link to "Item:Q3237137"

The following pages link to Begründung einer strengen Implikation (Q3237137):

Displaying 50 items.

• A new approach to classical relevance (Q497418) (← links)
• Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
• Ternary relations and relevant semantics (Q598309) (← links)
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
• New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
• An algebraic semantics of notional entailment logic Cn (Q917325) (← links)
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
• Where gamma fails (Q1071752) (← links)
• Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
• Minimal quantum logic with merged implications (Q1101108) (← links)
• The choice of logical foundations: Non-classical choices and the ultralogical choice (Q1141135) (← links)
• Conditionals, quantification, and strong mathematical induction (Q1177650) (← links)
• Logical systems with implications (Q1221757) (← links)
• The principle of separation of variables in propositional logics (Q1240219) (← links)
• \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
• Logic and the classical theory of mind (Q1272829) (← links)
• First-degree entailment and its relatives (Q1685573) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Intuitive idea of implication versus formal definition: how to define the corresponding degree (Q1979852) (← links)
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
• Variable sharing in connexive logic (Q2056220) (← links)
• Farewell to suppression-freedom (Q2198315) (← links)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• Ockham's calculus of strict implication (Q2354874) (← links)
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle (Q2443123) (← links)
• E-theories (Q2549688) (← links)
• The modular logic as a calculus of logical schemata (Q2562179) (← links)
• Converse Ackermann property and semiclassical negation (Q2641293) (← links)
• A plea for KR (Q2695153) (← links)
• Non-Boolean classical relevant logics. I (Q2695399) (← links)
• Ackermann's implication for typefree logic (Q2720395) (← links)
• Modalities in Ackermann's “rigorous implication” (Q3262776) (← links)
• A simple treatment of truth functions (Q3274967) (← links)
• Report: an examination of a decision procedure (Q3281061) (← links)
• The Story of $$\gamma $$ γ (Q3305422) (← links)
• THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS (Q3320367) (← links)
• CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
• Relevance and paraconsistency—a new approach (Q3484811) (← links)
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
• FOUR BASIC LOGICAL ISSUES (Q3644802) (← links)
• The pure calculus of entailment (Q3849883) (← links)
• PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 (Q4933593) (← links)
• Comments on the Contributions (Q5027252) (← links)
• Devising the set of abnormalities for a given defeasible rule (Q5061407) (← links)
• Pure Variable Inclusion Logics (Q5066089) (← links)
• Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E (Q5241401) (← links)
• Semantics for relevant logics (Q5656747) (← links)
• A natural deduction system for first degree entailment (Q5937857) (← links)