Begründung einer strengen Implikation
From MaRDI portal
Publication:3237137
DOI10.2307/2268750zbMath0072.00106OpenAlexW2057185140MaRDI QIDQ3237137
Publication date: 1956
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268750
Related Items (46)
Sentential constants in R and \(R^{\neg}\) ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ Minimal quantum logic with merged implications ⋮ Converse Ackermann property and semiclassical negation ⋮ Pure Variable Inclusion Logics ⋮ Ternary relations and relevant semantics ⋮ Relevance and paraconsistency—a new approach ⋮ First-degree entailment and its relatives ⋮ The choice of logical foundations: Non-classical choices and the ultralogical choice ⋮ The nature of entailment: an informational approach ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Semantics for relevant logics ⋮ Farewell to suppression-freedom ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models ⋮ A plea for KR ⋮ Non-Boolean classical relevant logics. I ⋮ Modalities in Ackermann's “rigorous implication” ⋮ An algebraic semantics of notional entailment logic Cn ⋮ Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ A simple treatment of truth functions ⋮ Report: an examination of a decision procedure ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ The Story of $$\gamma $$ γ ⋮ A new approach to classical relevance ⋮ Aristotle's assertoric syllogistic and modern relevance logic ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ A natural deduction system for first degree entailment ⋮ The pure calculus of entailment ⋮ PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ Logical systems with implications ⋮ The principle of separation of variables in propositional logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Variable sharing in connexive logic ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Logic and the classical theory of mind ⋮ FOUR BASIC LOGICAL ISSUES ⋮ E-theories ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ The modular logic as a calculus of logical schemata ⋮ Where gamma fails ⋮ Comments on the Contributions
Cites Work
This page was built for publication: Begründung einer strengen Implikation
