A Lattice of Implicative Extensions of Regular Kleene's Logics

• Authors: Natalya Tomova
• Languages of publication: PL

Abstracts

PL

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.

Keywords

PL

 

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2012
• Volume: 47

Dates

published

2012

online

07 - 07 - 2015

Contributors

author

Natalya Tomova