𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relevant implication and the weak deduction theorem

✍ Scribed by Diderik Batens

Publisher
Springer Netherlands
Year
1987
Tongue
English
Weight
325 KB
Volume
46
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deduction theorems for weak implicationa
Deduction theorems for weak implicational logics
✍ M. W. Bunder πŸ“‚ Article πŸ“… 1982 πŸ› Springer Netherlands 🌐 English βš– 649 KB

The standard deduction theorem or introduction rule for implication, for classical logic is also valid/or intuitiouistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is ~o ho14 for weaker impli. cational logics. In this paper we look in 4eta

On weakening the Deduction Theorem and s
On weakening the Deduction Theorem and strengthening Modus Ponens
✍ FΓ©lix Bou; Josep Maria Font; JosΓ© Luis GarcΓ­a Lapresta πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 284 KB

## Abstract This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen‐style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, view

Harsanyi's Social Aggregation Theorem an
Harsanyi's Social Aggregation Theorem and the Weak Pareto Principle
✍ John A. Weymark πŸ“‚ Article πŸ“… 1993 πŸ› Springer 🌐 English βš– 704 KB

Harsanyi's Social Aggregation Theorem is concerned with the aggregation of individual preferences defined on the set of lotteries generated from a finite set of basic prospects into a social preference. These preferences are assumed to satisfy the expected utility hypothesis and are represented by v

Some weak forms of the Baire category th
Some weak forms of the Baire category theorem
✍ Kyriakos Kermedis πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 109 KB

## Abstract We show that the statement (K12) β€œseparable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC(ℝ) (the axiom of choice for countable families of non‐empty subsets of the real line ℝ). We also find some characterizations of the axi