Why is the Establishment of Mutually Inverse Proper Implication so Defined?;

The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.

Likewise,in mutually-inversistic logic,the two conjuncts of the antecedent of a mutually inverse implicational proposition are two curved surfaces, and their conjunction is a spatial curve.

Power Optimization of Technology-dependent Circuits Based on Static Logic Implications;

Teaching reform of introduction to using quantification and realization of implication in the mathematical calculations performed tuple relationship and SQL;

Direct Decomposability of Implication Operators on Product Lattices;

Several Classes of Implications Based on Binary Aggregation Operators on L~*;