scientific article; zbMATH DE number 1523047

MaRDI QIDQ4511322zbMATH OpenFDO

Authors I. D. Zaslavskii

Publication date 6 March 2001

zbMATH Keywords

functional completenesslogical completenessthree-valued logical functionsthree-valued predicate logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls
• SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION
• Propositional calculus for the sequential three-valued logic (McCarthy-like systems)
• Continuity of three-valued logic: problems and hypotheses
• Sequent calculi for three-valued logics

Cited in

(16)

• scientific article; zbMATH DE number 4008367 (Why is no real title available?)
• The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
• Some Calculations in Logic
• Propositional calculus for the sequential three-valued logic (McCarthy-like systems)
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls
• Formal axiomatic theories based on a three-valued logic
• On proving functional incompleteness in symbolic logic classes
• Three days of \(\Omega\)-logic
• Results on functional completeness in logical calculi
• Continuity of three-valued logic: problems and hypotheses
• The three-valued logic of quadratic form theory over real rings
• SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION
• scientific article; zbMATH DE number 3559521 (Why is no real title available?)
• Encoding many-valued logic in $\lambda$-calculus
• Ternary Exclusive Or

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