scientific article; zbMATH DE number 3859097

MaRDI QIDQ3328525zbMATH OpenFDO

Authors Motinori Goto, Shinji Kao, Tomoko Ninomiya

Publication date 1981

zbMATH Keywords

axiomatization of Bochvar's three-valued internal systemconsistencyindependencelogical equationslogical functionstruth table

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 3891331
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• On the distribution of three-valued functions over precomplete classes
• Continuity of three-valued logic: problems and hypotheses
• An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz

Cited in

(1)

• scientific article; zbMATH DE number 3891331 (Why is no real title available?)

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