Zobrazeno 1 - 10
of 552
pro vyhledávání: '"Many-valued logics"'
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
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 3, Pp 275-299 (2023)
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Externí odkaz:
https://doaj.org/article/014fdb3cc4bb417a97b46b214aae1360
Autor:
JOSÉ RENATO SALATIEL
Publikováno v:
Manuscrito, Vol 45, Iss 4, Pp 79-106 (2023)
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However,
Externí odkaz:
https://doaj.org/article/a20a5fce41f34bb6b1d4c44c7bf19cb4
Autor:
Belikov, Alex, Zaitsev, Dmitry
Publikováno v:
Bulletin of the Section of Logic. 51(2):227-242
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072285
Publikováno v:
Intermaths, Vol 3, Iss 2 (2022)
The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of n
Externí odkaz:
https://doaj.org/article/e9d8216131ce4fd28d9529946c102f25
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Alexander Belikov, Dmitry Zaitsev
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 227-242 (2021)
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the foll
Externí odkaz:
https://doaj.org/article/d6be8cab956148cca212994709564eba
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Discussiones Mathematicae - General Algebra and Applications, Vol 40, Iss 2, Pp 267-274 (2020)
In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a co
Externí odkaz:
https://doaj.org/article/81f1e1c5e7d947e3b0f7fb3b03897c58
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.