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
(69)- Where gamma fails
- Sentential constants in R and \(R^{\neg}\)
- Minimal quantum logic with merged implications
- The choice of logical foundations: Non-classical choices and the ultralogical choice
- Conditionals, quantification, and strong mathematical induction
- Logical systems with implications
- The principle of separation of variables in propositional logics
- \(\supset\)E is admissible in ``true relevant arithmetic
- Logic and the classical theory of mind
- First-degree entailment and its relatives
- Lewis meets Brouwer: constructive strict implication
- 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
- Variable sharing in connexive logic
- Farewell to suppression-freedom
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Ockham's calculus of strict implication
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- E-theories
- The modular logic as a calculus of logical schemata
- Converse Ackermann property and semiclassical negation
- A plea for KR
- Non-Boolean classical relevant logics. I
- Ackermann's implication for typefree logic
- Modalities in Ackermann's “rigorous implication”
- A simple treatment of truth functions
- Report: an examination of a decision procedure
- The Story of \gamma γ
- THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
- Introduction of implication and generalization in axiomatic calculi
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Relevance and paraconsistency—a new approach
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- FOUR BASIC LOGICAL ISSUES
- The pure calculus of entailment
- scientific article; zbMATH DE number 709086 (Why is no real title available?)
- scientific article; zbMATH DE number 2059849 (Why is no real title available?)
- scientific article; zbMATH DE number 937392 (Why is no real title available?)
- Paraconsistent logics included in Lewis' S4
- A new approach to classical relevance
- Super-strict implications
- Comments on the Contributions
- Devising the set of abnormalities for a given defeasible rule
- Pure variable inclusion logics
- Aristotle's assertoric syllogistic and modern relevance logic
- Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
- Semantics for relevant logics
- Emch's calculus and strict implication
- A natural deduction system for first degree entailment
- Ternary relations and relevant semantics
- The nature of entailment: an informational approach
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
- Connexivity meets Church and Ackermann
- Confused entailment
- New consecution calculi for \(R^{t}_{\to}\)
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- Entailment generalized
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
- Introduction: directions and new directions
- Simplified semantics for further relevant logics. II: Propositional constants
- Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
- New(ish) foundations for theories of entailment
- Entailment, mingle and binary accessibility
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- An algebraic semantics of notional entailment logic Cn
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
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)
