https://scirp.org/journal/paperinformation?paperid=78736
An axiom system for dialectical logic K-model which is based on energy-method is established by author in the paper. Dialectical logic K-model supplies a...
axiom systemdialectical logictheoremskmodel