Programming problems in mathematical logic

DOI10.1007/BF01939332MaRDI QIDQ5550156zbMATH OpenFDO

Authors E. Foxley

Publication date 1968

Published in BIT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01939332

zbMATH Keywords

numerical analysis

Cites work

• Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
• DETERMINATION OF THE SET OF ALL FOUR‐VARIABLE FORMULAE CORRESPONDING TO UNIVERSAL DECISION ELEMENTS USING A LOGICAL COMPUTER
• Formulae Corresponding to Flip‐Flops
• Formulae corresponding to universal decision elements
• scientific article; zbMATH DE number 3135370 (Why is no real title available?)
• scientific article; zbMATH DE number 3139742 (Why is no real title available?)
• scientific article; zbMATH DE number 3168665 (Why is no real title available?)
• scientific article; zbMATH DE number 3052788 (Why is no real title available?)
• The determination of all Sheffer functions in 3-valued logic, using a logical computer
• The use of universal decision elements as flip‐flops

This page was built for publication: Programming problems in mathematical logic

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