A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
ISSN: 1572-9583, 0925-8531
Año de publicación: 2021
Volumen: 30
Número: 3
Páginas: 533-556
Tipo: Artículo