Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Indrzejczak, Andrzej"'
Autor:
Indrzejczak, Andrzej, Zawidzki, Michał
Publikováno v:
EPTCS 358, 2022
Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an opportunity to cel
Externí odkaz:
http://arxiv.org/abs/2204.06359
Autor:
Indrzejczak, Andrzej, Zawidzki, Michał
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau
Externí odkaz:
http://arxiv.org/abs/2107.07228
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.
Externí odkaz:
https://www.ceeol.com//search/book-detail?id=848579
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.
Autor:
INDRZEJCZAK, ANDRZEJ
Publikováno v:
The Bulletin of Symbolic Logic, 2016 Mar 01. 22(1), 121-144.
Externí odkaz:
https://www.jstor.org/stable/43740452