scientific article; zbMATH DE number 7365615

zbMath1465.03065MaRDI QIDQ4997950

Yaroslav I. Petrukhin

Publication date: 1 July 2021

Full work available at URL: http://mathnet.ru/eng/chfmj67

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

correspondence analysismany-valued logicsgeneralized truth valuesnatural deduction systems

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (4)

Generalized correspondence analysis for three-valued logics ⋮ Unnamed Item ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some useful 16-valued logics: How a computer network should think
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• The logic of paradox
• Handbook of philosophical logic. Vol. 5
• Intuitive semantics for first-degree entailments and `coupled trees'
• Bi-facial truth: a case for generalized truth values
• From bi-facial truth to bi-facial proofs
• A calculus of antinomics
• The Trilattice of Constructive Truth Values
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Rational agency from a truth-functional perspective
• Relevant generalization starts here (and here = 2)
• On notation for ordinal numbers
• The completeness of the first-order functional calculus

This page was built for publication: