𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Weak Logics with Strict Implication

✍ Scribed by Giovanna Corsi

Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
838 KB
Volume
33
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Ax. 4. ( a AB) -+/I, Ax. 5. (a 3 @) A (a 3 y ) -+ (a 3 /? A y ) ~ Ax. 6. a -+ (a vp), AX. 7.

-+ (a vB), AX. 8. A x . 9 . a ~( b V y ) -+ ( a ~# ? ) V ( a ~y ) , Ax. 10. I -+ a, Ax.D. i i , AX. R.

πŸ“œ SIMILAR VOLUMES

Bounded distributive lattices with stric
Bounded distributive lattices with strict implication
✍ Sergio Celani; Ramon Jansana πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 384 KB

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be

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

Residuated logics based on strict triang
Residuated logics based on strict triangular norms with an involutive negation
✍ Petr Cintula; Erich Peter Klement; Radko Mesiar; Mirko Navara πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 199 KB

## Abstract In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t‐norms and their dual t‐conorms. Adding an involutive negation,