Zobrazeno 1 - 10
of 2 210
pro vyhledávání: '"Paraconsistent logic"'
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 1, Pp 29-61 (2024)
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special
Externí odkaz:
https://doaj.org/article/b2975951c0f5491d813cab84f553f0b0
Autor:
Janusz Ciuciura
Publikováno v:
Axioms, Vol 13, Iss 11, p 738 (2024)
Logics of Formal Inconsistency (LFI for short) are a class of paraconsistent logics that validate the principle of gentle explosion, meaning that any formula can be derived from the set of formulas: ∘α, α and ∼α. A unique feature of LFI is the
Externí odkaz:
https://doaj.org/article/5e7fa1f00dcd457397f0e6ff88412d0d
Autor:
Andrei Rusu, Elena Rusu
Publikováno v:
Computer Science Journal of Moldova, Vol 31, Iss 3(93), Pp 395-408 (2023)
Existential expressibility for all $k$-valued functions was proposed by A.~V. Kuz\-ne\-tsov and later was investigated in more details by S.~S.~Mar\-chen\-kov. In the present paper, we consider existential expressibility in the case of formulas defin
Externí odkaz:
https://doaj.org/article/a5a46cf18f3044db928dc5d2cbe7b760
Autor:
Rodrigues, Abilio1 abilio@ufmg.br
Publikováno v:
History & Philosophy of Logic. Aug2021, Vol. 42 Issue 3, p300-306. 7p.
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:
Mishra, Meha, Sarma, A. V. Ravishankar
Publikováno v:
Bulletin of the Section of Logic. 51(2):177-195
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072270
Autor:
Meha Mishra, A.V. Ravishankar Sarma
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 177-195 (2022)
Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation o
Externí odkaz:
https://doaj.org/article/22f388639215441eb164c00573fc196d
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.
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.