On finite-valued propositional logical calculi

DOI10.1305/NDJFL/1040136920zbMATH Open0852.03009OpenAlexW2054161341WikidataQ63762582 ScholiaQ63762582MaRDI QIDQ1913635FDOQ1913635

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Sequents in many valued logic I
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Satisfiability in many-valued sentential logic is NP-complete
• An algebraic approach to non-classical logics
• Fragments of Many-Valued Statement Calculi
• Super-Łukasiewicz propositional logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On distributive quad-lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systematization of finite many-valued logics through the method of tableaux
• Title not available (Why is that?)
• The algebra of conditional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On axiomatization of many-valued logics associated with formalization of plausible reasonings
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• Title not available (Why is that?)
• Super-Łukasiewicz implicational logics
• On a Formalization of the Non-Definedness Notion
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Poet algebras and pseudo-Post algebras
• Title not available (Why is that?)
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Sequents in many valued logic II
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
• Definability and quantifier elimination for \(J_ 3\)-theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the completeness theorem for many-valued lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Many-valued logics and their algebras

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
• Title not available (Why is that?)
• Correspondence analysis and automated proof-searching for first degree entailment
• Title not available (Why is that?)
• 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
• De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
• Self-dual binary and ternary connectives for \(m\)-valued propositional calculi
• Title not available (Why is that?)

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)