Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Rodrigues, Abilio"'
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, wi
Externí odkaz:
http://arxiv.org/abs/2405.20932
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics LETK and LETF- with rules of propag
Externí odkaz:
http://arxiv.org/abs/2209.12337
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:
Carnielli, Walter, Rodrigues, Abilio
Publikováno v:
Synthese, 2019 Sep 01. 196(9), 3789-3813.
Externí odkaz:
https://www.jstor.org/stable/45215327
Publikováno v:
Studia Logica; Jun2024, Vol. 112 Issue 3, p561-606, 46p
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:
Carnielli, Walter1 (AUTHOR), Rodrigues, Abilio2 (AUTHOR) abilio.rodrigues@gmail.com
Publikováno v:
Logic Journal of the IGPL. Aug2021, Vol. 29 Issue 4, p569-584. 16p.
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.
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.