A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A lattice of implicative extensions of regular Kleene's logics
2012
Reports on Mathematical Logic
Preserved Fulltext
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.
dblp:journals/rml/Tomova12
fatcat:xzfro2wo4rerflv43xmriyajlm