COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

DOI10.1142/S1793005705000044zbMATH Open1069.03013OpenAlexW2098756487MaRDI QIDQ4679769FDOQ4679769

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

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

zbMATH Keywords

fuzzy logicconsistency degree

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
• Integrated semantics and logic metric spaces
• Title not available (Why is that?)

Cited In (8)

• Deduction Theorem for Many‐Valued Inference
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• Randomization of classical inference patterns and its application
• Quantitative logic
• A new theory consistency index based on deduction theorems in several logic systems
• Title not available (Why is that?)
• 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

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)