Zobrazeno 1 - 10
of 89
pro vyhledávání: '"Carnielli, W."'
This paper introduces the logic $QLET_{F}$, a quantified extension of the logic of evidence and truth $LET_{F}$, together with a corresponding sound and complete first-order non-deterministic valuation semantics. $LET_{F}$ is a paraconsistent and par
Externí odkaz:
http://arxiv.org/abs/2106.09850
Autor:
Carnielli, W. A., Marcos, J.
Publikováno v:
In: "Paraconsistency: The Logical Way to the Inconsistent", Proceedings of the II World Congress on Paraconsistency (WCP'2000), Marcel Dekker, 2001
A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-s
Externí odkaz:
http://arxiv.org/abs/math/0108036
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:
Journal of Logic, Language, and Information, 2003 Jan 01. 12(2), 183-211.
Externí odkaz:
https://www.jstor.org/stable/40180325
Autor:
Coniglio, M. E., Carnielli, W. A.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2002 Dec 01. 72(3), 367-400.
Externí odkaz:
https://www.jstor.org/stable/20016473
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.
Publikováno v:
Proceedings of the International Conference on Model-Based Reasoning in Science and Technology (MBR'09), 159-177
STARTPAGE=159;ENDPAGE=177;TITLE=Proceedings of the International Conference on Model-Based Reasoning in Science and Technology (MBR'09)
STARTPAGE=159;ENDPAGE=177;TITLE=Proceedings of the International Conference on Model-Based Reasoning in Science and Technology (MBR'09)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::7e546620e7120ccf430c97bd76d3c42f
https://research.vu.nl/en/publications/296e7f8a-332f-4dc4-83bc-64e3760e4c0f
https://research.vu.nl/en/publications/296e7f8a-332f-4dc4-83bc-64e3760e4c0f