A Lattice of Implicative Extensions of Regular Kleenes Logics
A Lattice of Implicative Extensions of Regular Kleenes Logics
Author(s): Natalya Tomova Subject(s): Philosophy
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Summary/Abstract: The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene’s logics (strong, weak, intermediate) and it’s extensions by adding an implicative connectives (“natural” implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics.
Journal: Reports on Mathematical Logic
- Issue Year: 2012
- Issue No: 47
- Page Range: 173-182
- Page Count: 1
- Language: English
