COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

DOI10.1142/S1793005705000044MaRDI QIDQ4679769zbMATH OpenOpenAlexFDO

Authors Guojun Wang

Publication date 21 June 2005

Published in New Mathematics and Natural Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s1793005705000044

zbMATH Keywords

fuzzy logicconsistency degree

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 2219576
• A new theory consistency index based on deduction theorems in several logic systems
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Fuzzy deduction theorem in the system \(\mathcal L^*\)
• Deduction Theorem for Many‐Valued Inference

Cites work

• scientific article; zbMATH DE number 3595146 (Why is no real title available?)
• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• Integrated semantics and logic metric spaces

Cited in

(8)

• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Quantitative logic
• Deduction Theorem for Many‐Valued Inference
• Randomization of classical inference patterns and its application
• A new theory consistency index based on deduction theorems in several logic systems
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)

This page was built for publication: COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

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