equilogical

Related by a logical tautology.

The logical conditional p -> q may be interpreted by a statement couched in the words of the everyday language, say, materialiter, or by a concept(ual complex) that "considers all four rows of its truth table as equilogical and equiempirical.

Hjelmslev does not realise that change and stability are equilogical concepts. Change is the contradictory of stability = Stability is the contradictory of change.

Pertaining to topological spaces that are Cartesian closed categories.

We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids..