scientific article; zbMATH DE number 3997763

MaRDI QIDQ4724604zbMATH OpenFDO

Authors Luiz Paulo de Alcantara, N. C. A. da Costa

Publication date 1986

zbMATH Keywords

paraconsistent logicNFHenkin semanticsstratified formularamified type theoryparaconsistent type theorytypified formula

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 2064184
• scientific article; zbMATH DE number 4029516
• scientific article; zbMATH DE number 3878895
• Extensional quotients for type theory and the consistency problem for NF
• scientific article; zbMATH DE number 1302061

Cited in

(9)

• scientific article; zbMATH DE number 2064184 (Why is no real title available?)
• scientific article; zbMATH DE number 4172399 (Why is no real title available?)
• A note on spark varieties
• A remark on order-types.
• scientific article; zbMATH DE number 3313431 (Why is no real title available?)
• Type theory with opposite types: a paraconsistent type theory
• scientific article; zbMATH DE number 1361532 (Why is no real title available?)
• A modern perspective on type theory. From its origins until today
• Strong Ambiguity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4724604)