Zobrazeno 1 - 10
of 315
pro vyhledávání: '"Dvořák Antonín"'
We introduce a variant of free logic (i.e., a logic admitting terms with nonexistent referents) that accommodates truth-value gluts as well as gaps. Employing a suitable expansion of the Belnap-Dunn four-valued logic, we specify a dual-domain semanti
Externí odkaz:
http://arxiv.org/abs/2306.13079