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

  1. Robles, G.
  2. Méndez, J.M.
Aldizkaria:
Journal of Logic, Language and Information

ISSN: 1572-9583,  0925-8531

Argitalpen urtea: 2021

Alea: 30

Zenbakia: 3

Orrialdeak: 533-556

Mota: Artikulua

DOI: 10.1007/S10849-021-09336-9 GOOGLE SCHOLAR
Datuen iturria: Scopus