On extensions of Nelson’s logic satisfying Dummett’s axiom
✍ Scribed by S. P. Odintsov
- Publisher
- SP MAIK Nauka/Interperiodica
- Year
- 2007
- Tongue
- English
- Weight
- 222 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0037-4466
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
The aim of this article is to give a compact and self-contained description of the class of paraconsistent extensions of Johansson's (or minimal) logic (denoted Lj). The class of all non-trivial Lj-extensions is divided into three classes: the class Int of intermediate logics, the class Neg of negat
## 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