Some properties of the roots of theories in propositional logic systems
From MaRDI portal
Publication:2483080
DOI10.1016/J.CAMWA.2007.08.035zbMATH Open1138.03310OpenAlexW1989107721MaRDI QIDQ2483080FDOQ2483080
Authors: Jiancheng 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
Recommendations
- scientific article; zbMATH DE number 5210593
- Some properties of fuzzy reasoning in propositional fuzzy logic systems
- The \(\Delta\)-root of a theory and the generalized \(\Delta\)-modus ponens problem in \(\text{BL}^*_\Delta\)
- The co-annihilators and the conclusions of theories of propositional logic system MTL with their correlation
- scientific article; zbMATH DE number 2063839
Classical propositional logic (03B05) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)
Cites Work
- Metamathematics of fuzzy logic
- A treatise on many-valued logics
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- Integrated semantics and logic metric spaces
- A formal deductive system for fuzzy propositional calculus
- Non-fuzzy versions of fuzzy reasoning in classical logics
- Fuzzy sets in approximate reasoning. II: Logical approaches
- COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
- Title not available (Why is that?)
Cited In (5)
- The co-annihilators and the conclusions of theories of propositional logic system MTL with their correlation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some properties of fuzzy reasoning in propositional fuzzy logic systems
- On the relevant systems \(P\) and \(P^*\) and some related systems
This page was built for publication: Some properties of the roots of theories in propositional logic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2483080)
