Zobrazeno 1 - 10
of 6 600
pro vyhledávání: '"Many-valued logics"'
Autor:
Molick, Sanderson1 smolicks@gmail.com
Publikováno v:
Logics. Sep2024, Vol. 2 Issue 3, p112-128. 17p.
Autor:
Sanderson Molick
Publikováno v:
Logics, Vol 2, Iss 3, Pp 112-128 (2024)
Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valu
Externí odkaz:
https://doaj.org/article/657dcf112857491c926522fbccc7e900
This paper studies which truth-values are most likely to be taken on finite models by arbitrary sentences of a many-valued predicate logic. We obtain generalizations of Fagin's classical zero-one law for any logic with values in a finite lattice-orde
Externí odkaz:
http://arxiv.org/abs/2306.13904
Autor:
Francez, Nissim
The paper proposes a new type of negation in multi-valued logics, providing a different way to answer the following question: what does it mean that some object language formula does not have a given truth-value. Along the way, the paper provides a g
Externí odkaz:
http://arxiv.org/abs/2203.16890
Autor:
Kaminski, Michael
Publikováno v:
Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (January 2, 2023) fi:8847
We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained from the truth tables of the logic under consideration in a straightf
Externí odkaz:
http://arxiv.org/abs/2112.07377