scientific article; zbMATH DE number 3875236

MaRDI QIDQ3342535zbMATH OpenFDO

Authors Salvatore Guccione, Roberto Tortora

Publication date 1982

zbMATH Keywords

axiom systemaxiomatizations of Lukasiewicz propositional calculideducibility ruleslogics of approximationprovability of deduction theoremrules of inferencetheoremhood rules

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Deduction Theorem for Many‐Valued Inference
• The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
• scientific article; zbMATH DE number 1076962
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Local deductions theorems

Cited in

(7)

• Lewis dichotomies in many-valued logics
• Duality in finite many-valued logics
• Automated deduction for many-valued logics
• Deduction Theorem for Many‐Valued Inference
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• scientific article; zbMATH DE number 1076961 (Why is no real title available?)
• Deduction-detachment theorem in hidden k-logics

This page was built for publication:

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