𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

✍ Scribed by Andrzej Sendlewski

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
705 KB
Volume
55
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On triangular norm based axiomatic exten
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
✍ Carles Noguera; Francesc Esteva; Joan Gispert πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 285 KB πŸ‘ 1 views

## Abstract In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and its t‐norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM‐algebras (π•Žβ„•π•„) and prove that it is locally finite, so all its subvarieties are gen