Generalized tautologies theory of universal logic based on 0-level universal AND operators
Zhanao Xue
Abstract
Zhanao Xue
Abstract
Generalized tautologies theories of universal logic are studied in this paper.A series of properties of generalized tautologies of universal logic based on the 0-level universal AND operators is discussed.The main results are:when c∈[0.75,1],if the semantic is explained by Ih=c,there are only three different generalized tautologies in F(S),that is,accessible 0-tautology,0+- tautology and tautology;when h=0,if the semantic is explained by Ih=0,there are accessible 0,1-tautology,when α∈(0,1),there are not α- tautology、α+-tautology and α-tautology;the generalized tautologies when h∈(0,0.75) are described by the generalized tautologies when h=0.5.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Generalized tautologies theories of universal logic are studied in this paper.A series of properties of generalized tautologies of universal logic based on the 0-level universal AND operators is discussed.The main results are:when c∈[0.75,1],if the semantic is explained by Ih=c,there are only three different generalized tautologies in F(S),that is,accessible 0-tautology,0+- tautology and tautology;when h=0,if the semantic is explained by Ih=0,there are accessible 0,1-tautology,when α∈(0,1),there are not α- tautology、α+-tautology and α-tautology;the generalized tautologies when h∈(0,0.75) are described by the generalized tautologies when h=0.5.
Key concepts: Tautology (logic), Mathematics, Discrete mathematics, Computer science, Intermediate logic, Theoretical computer science, Description logic, Propositional variable