scientific article
From MaRDI portal
Publication:3359740
zbMATH Open0733.68012MaRDI QIDQ3359740
Publication date: 1989
Title of this publication is not available (Why is that?)
distributive latticecomplete lattice of truth valuesmulti-valued logic programsnon-extensibility conditionsparaconsistent logic programssubsumption equivalence
Logical aspects of lattices and related structures (03G10) Logic programming (68N17) Paraconsistent logics (03B53)
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 Q3359740)