Begründung einer strengen Implikation
From MaRDI portal
Publication:3237137
DOI10.2307/2268750zbMATH Open0072.00106OpenAlexW2057185140MaRDI QIDQ3237137FDOQ3237137
Authors: Wilhelm Ackermann 
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
Recommendations
- scientific article; zbMATH DE number 3296222
- ÜBER DIE BEZIEHUNG ZWISCHEN STRIKTER UND STRENGER IMPLIKATION
- scientific article; zbMATH DE number 3967834
- Zum Aufbau der Wahrscheinlichkeitsrechnung
- scientific article; zbMATH DE number 3273133
- scientific article; zbMATH DE number 3128929
- scientific article; zbMATH DE number 3102857
- scientific article; zbMATH DE number 3650163
Cites Work
Cited In (59)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Where gamma fails
- Ackermann's implication for typefree logic
- Semantics for relevant logics
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Sentential constants in R and \(R^{\neg}\)
- Ternary relations and relevant semantics
- New consecution calculi for \(R^{t}_{\to}\)
- The principle of separation of variables in propositional logics
- Report: an examination of a decision procedure
- Devising the set of abnormalities for a given defeasible rule
- \(\supset\)E is admissible in ``true relevant arithmetic
- Logic and the classical theory of mind
- Aristotle's assertoric syllogistic and modern relevance logic
- Introduction of implication and generalization in axiomatic calculi
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Paraconsistent logics included in Lewis' S4
- Modalities in Ackermann's “rigorous implication”
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- Ockham's calculus of strict implication
- The Story of $$\gamma $$ γ
- Title not available (Why is that?)
- Title not available (Why is that?)
- Emch's calculus and strict implication
- FOUR BASIC LOGICAL ISSUES
- The choice of logical foundations: Non-classical choices and the ultralogical choice
- Converse Ackermann property and semiclassical negation
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
- The modular logic as a calculus of logical schemata
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Comments on the Contributions
- The nature of entailment: an informational approach
- The pure calculus of entailment
- Title not available (Why is that?)
- Variable sharing in connexive logic
- A natural deduction system for first degree entailment
- Relevance and paraconsistency—a new approach
- An algebraic semantics of notional entailment logic Cn
- Lewis meets Brouwer: constructive strict implication
- Super-strict implications
- A new approach to classical relevance
- A simple treatment of truth functions
- Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
- A plea for KR
- Non-Boolean classical relevant logics. I
- Logical systems with implications
- First-degree entailment and its relatives
- E-theories
- Farewell to suppression-freedom
- Minimal quantum logic with merged implications
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
- Intuitive idea of implication versus formal definition: how to define the corresponding degree
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Pure variable inclusion logics
- Connexivity meets Church and Ackermann
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- Confused entailment
This page was built for publication: Begründung einer strengen Implikation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3237137)
