scientific article; zbMATH DE number 3997763
From MaRDI portal
Publication:4724604
zbMath0616.03014MaRDI QIDQ4724604
Luiz Paulo de Alcantara, Newton C. A. Da Costa
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
paraconsistent logicNFHenkin semanticsstratified formularamified type theoryparaconsistent type theorytypified formula
This page was built for publication: