On finite-valued propositional logical calculi

DOI10.1305/NDJFL/1040136920MaRDI QIDQ1913635zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 5 December 1996

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040136920

zbMATH Keywords

completenessmany-valued logicHilbert-type propositional calculitruth-complete \({\mathbf C}\)-extending logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• On a Method of Axiomatization of Some Propositional Calculi
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• Effective Finite-Valued Approximations of General Propositional Logics
• scientific article; zbMATH DE number 4010498
• scientific article; zbMATH DE number 4055579

Cites work

• scientific article; zbMATH DE number 3877155 (Why is no real title available?)
• scientific article; zbMATH DE number 4135917 (Why is no real title available?)
• scientific article; zbMATH DE number 3823742 (Why is no real title available?)
• scientific article; zbMATH DE number 3954877 (Why is no real title available?)
• scientific article; zbMATH DE number 4057480 (Why is no real title available?)
• scientific article; zbMATH DE number 3687374 (Why is no real title available?)
• scientific article; zbMATH DE number 3788588 (Why is no real title available?)
• scientific article; zbMATH DE number 63610 (Why is no real title available?)
• scientific article; zbMATH DE number 120338 (Why is no real title available?)
• scientific article; zbMATH DE number 3472024 (Why is no real title available?)
• scientific article; zbMATH DE number 3490967 (Why is no real title available?)
• scientific article; zbMATH DE number 3556029 (Why is no real title available?)
• scientific article; zbMATH DE number 3561174 (Why is no real title available?)
• scientific article; zbMATH DE number 475239 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 3799622 (Why is no real title available?)
• scientific article; zbMATH DE number 3445221 (Why is no real title available?)
• scientific article; zbMATH DE number 3895040 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3040723 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
• Algebraic Analysis of Many Valued Logics
• An algebraic approach to non-classical logics
• Definability and quantifier elimination for \(J_ 3\)-theories
• Fragments of Many-Valued Statement Calculi
• Many-valued logics and their algebras
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
• On a Formalization of the Non-Definedness Notion
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On axiomatization of many-valued logics associated with formalization of plausible reasonings
• On distributive quad-lattices
• On the completeness theorem for many-valued lattices
• Poet algebras and pseudo-Post algebras
• Satisfiability in many-valued sentential logic is NP-complete
• Sequents in many valued logic I
• Sequents in many valued logic II
• Super-Łukasiewicz implicational logics
• Super-Łukasiewicz propositional logics
• Systematization of finite many-valued logics through the method of tableaux
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• The algebra of conditional logic
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

Cited in

(15)

• Criterion for propositional calculi to be finitely generated
• Non-transitive correspondence analysis
• Anshakov-Rychkov algebras
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• Optimal axiomatizations of finitely valued logics
• scientific article; zbMATH DE number 5220083 (Why is no real title available?)
• Correspondence analysis and automated proof-searching for first degree entailment
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Self-dual binary and ternary connectives for \(m\)-valued propositional calculi
• De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
• scientific article; zbMATH DE number 3859090 (Why is no real title available?)

This page was built for publication: On finite-valued propositional logical calculi

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