scientific article; zbMATH DE number 4128788

zbMATH Open0689.03008MaRDI QIDQ4207885

Martin W. Bunder

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

paraconsistent logicsillative combinatory logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (12)

Paraconsistent logic ⋮ A foray into combinatory logic ⋮ Title not available (Why is that?) ⋮ Paraconsistent intelligent systems of computer logics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Paraconsistent orbits of logics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Relational Methods in Computer Science ⋮ Title not available (Why is that?)

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 Q4207885)