Some properties of the roots of theories in propositional logic systems

DOI10.1016/J.CAMWA.2007.08.035zbMath1138.03310OpenAlexW1989107721MaRDI QIDQ2483080

Jian-Cheng Zhang

Publication date: 5 May 2008

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2007.08.035

zbMATH Keywords

deduction theoremrootdivergence degree\(\Gamma \)-conclusionpropositional logic system

Mathematics Subject Classification ID

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

Related Items (1)

Some properties of fuzzy reasoning in propositional fuzzy logic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• A formal deductive system for fuzzy propositional calculus
• Non-fuzzy versions of fuzzy reasoning in classical logics
• Integrated semantics and logic metric spaces
• Fuzzy sets in approximate reasoning. II: Logical approaches
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

This page was built for publication: Some properties of the roots of theories in propositional logic systems