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