scientific article

zbMath0633.03016MaRDI QIDQ3770503

Newton C. A. Da Costa

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

paraconsistent logicsZFNFinconsistent systemsconsistent systemsparaconsistent set theoriesnontrivial systemsparaconsistent programme

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (3)

Ayda Ignez Arruda e sua trajetória profissional e científica na UNICAMP (1968-1983) ⋮ A defense of second-order logic ⋮ A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})

This page was built for publication: