A Quest for the Existence of Bi-Conditional Statements Over the Theory of a Model
Soham Dasgupta · Zenodo (CERN European Organization for Nuclear Research) · 2021
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.