Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Petrukhin, Yaroslav"'
We present a bisequent calculus (BSC) for the minimal theory of definite descriptions (DD) in the setting of neutral free logic, where formulae with non-denoting terms have no truth value. The treatment of quantifiers, atomic formulae and simple term
Externí odkaz:
http://arxiv.org/abs/2412.01712
Publikováno v:
Logic and Logical Philosophy. Vol. 33, no. 3, pp. 463--506. 2024
We present a uniform characterisation of three-valued logics by means of the bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakes
Externí odkaz:
http://arxiv.org/abs/2412.01700
Autor:
Petrukhin, Yaroslav
Publikováno v:
EPTCS 358, 2022, pp. 12-24
We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natural deduction systems for them (or present such systems from scratch fo
Externí odkaz:
http://arxiv.org/abs/2204.06722
Autor:
Mruczek-Nasieniewska, Krystyna1 mruczek@umk.pl, Petrukhin, Yaroslav2 iaroslav.petrukhin@edu.uni.lodz.pl, Shangin, Vasily3 shangin@philos.msu.ru
Publikováno v:
Bulletin of the Section of Logic. Mar2024, Vol. 53 Issue 1, p29-61. 33p.
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:
Studia Logica: An International Journal for Symbolic Logic, 2020 Jun 01. 108(3), 451-476.
Externí odkaz:
https://www.jstor.org/stable/45379233
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:
Petrukhin, Yaroslav, Shangin, Vasilyi
Publikováno v:
Logique et Analyse, 2018 Jan 01(244), 407-427.
Externí odkaz:
https://www.jstor.org/stable/26767890
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.