Deduction Theorem for Many‐Valued Inference

DOI10.1002/MALQ.19910373304MaRDI QIDQ4031102zbMATH OpenOpenAlexFDO

Authors Mingsheng Ying

Publication date 1 April 1993

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910373304

zbMATH Keywords

deduction theoremfuzzy logicgraded inferencerule of detachment

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 3875236
• Publication:4944954
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• scientific article; zbMATH DE number 1975410
• Fuzzy natural deduction

Cited in

(13)

• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• A note on a deductive scheme of Dummett in classical and fuzzy logics
• Linguistic quantifiers modeled by Sugeno integrals
• A theory of computation based on quantum logic. I
• Lattice-theoretic models of conjectures, hypotheses and consequences
• scientific article; zbMATH DE number 3875236 (Why is no real title available?)
• Fuzzy topology representation for MV-algebras
• Inference in a multivalued logic system
• On Fuzzy Logic I Many‐valued rules of inference
• scientific article; zbMATH DE number 1076961 (Why is no real title available?)
• scientific article; zbMATH DE number 1975410 (Why is no real title available?)
• COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
• Fuzzy logic with countable evaluated syntax revisited

This page was built for publication: Deduction Theorem for Many‐Valued Inference

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