Published June 20, 2021
| Version v1
Journal article
Open
A Quest for the Existence of Bi-Conditional Statements Over the Theory of a Model
Description
Construction of the group of all bi-conditional statements over the theory of a model and discussing its properties and isomorphic forms for the quest and experiments of the existence of the converse of a statement over that model irrespective of its individual proof.
Notes
Model theory and algebra, mathematical logic