scientific article; zbMATH DE number 6851058

DOI10.2143/LEA.240.0.3254088zbMATH Open1417.03180MaRDI QIDQ4608317FDOQ4608317

Peter Milne

Publication date: 16 March 2018

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

zbMATH Keywords

Belnap's four-valued logicPriest's logic of paradoxKleene's strong 3-valued logicblock tableauxCraig-Lyndon interpolation theorem (for classical first-order logic)

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

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