Begründung einer strengen Implikation
From MaRDI portal
Publication:3237137
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
Cited in
(59)- Pure variable inclusion logics
- Where gamma fails
- 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
- Ackermann's implication for typefree logic
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Semantics for relevant logics
- Connexivity meets Church and Ackermann
- Ternary relations and relevant semantics
- Sentential constants in R and \(R^{\neg}\)
- New consecution calculi for \(R^{t}_{\to}\)
- The principle of separation of variables in propositional logics
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- Report: an examination of a decision procedure
- Devising the set of abnormalities for a given defeasible rule
- Aristotle's assertoric syllogistic and modern relevance logic
- \(\supset\)E is admissible in ``true relevant arithmetic
- Logic and the classical theory of mind
- Introduction of implication and generalization in axiomatic calculi
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Modalities in Ackermann's “rigorous implication”
- Ockham's calculus of strict implication
- Paraconsistent logics included in Lewis' S4
- The Story of $$\gamma $$ γ
- scientific article; zbMATH DE number 2059849 (Why is no real title available?)
- scientific article; zbMATH DE number 709086 (Why is no real title available?)
- Emch's calculus and strict implication
- FOUR BASIC LOGICAL ISSUES
- The choice of logical foundations: Non-classical choices and the ultralogical choice
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- Converse Ackermann property and semiclassical negation
- 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
- Variable sharing in connexive logic
- The pure calculus of entailment
- scientific article; zbMATH DE number 937392 (Why is no real title available?)
- 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
- Confused entailment
- 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}\)
- Logical systems with implications
- A plea for KR
- Non-Boolean classical relevant logics. I
- 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
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)
