The paper continues study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation.
The paper continues study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation. (en)
Tento článek navazuje na studii extenzionálních formulí a jejich reprezentaci pomocí normálních forem. Pojem extenzionálních formulí je rozšířen na případ, kdy je extenzionalita předpokládána vzhledem k reflexivním binárním relacím. (cs)