Type Theory with Opposite Types: A Paraconsistent Type Theory.

Autor:	Agudelo-Agudelo, Juan C1 (AUTHOR) juan.agudelo9@udea.edu.co, Sicard-Ramírez, Andrés2 (AUTHOR)
Zdroj:	Logic Journal of the IGPL. Oct2022, Vol. 30 Issue 5, p777-806. 30p.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.