Some properties of the roots of theories in propositional logic systems

Authors:
Jiancheng Zhang
Affiliations:
Department of Mathematics, Quanzhou Normal University, Fujian 362000, China
Venue:
Computers & Mathematics with Applications
Year:
2008

Citing 3
Cited 1

Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Non-fuzzy versions of fuzzy reasoning in classical logics

Information Sciences—Informatics and Computer Science: An International Journal
Integrated semantics and logic metric spaces

Fuzzy Sets and Systems - Logic and algebra

Some properties of fuzzy reasoning in propositional fuzzy logic systems

Information Sciences: an International Journal

Quantified Score

Hi-index	0.09

Visualization

Abstract

Some properties of the roots of theories, and the relationship between the sets D(@C) of all conclusions of two different theories in the classical propositional logic system, Lukasiewicz propositional logic system, and the R"0-propositional logic system are studied. It is proved that D(@C) is completely determined by its root whenever @C has a root, and the construction of the roots is given.