Zobrazeno 1 - 10
of 180
pro vyhledávání: '"Dyckhoff, Roy"'
Autor:
DYCKHOFF, ROY
Publikováno v:
The Bulletin of Symbolic Logic, 2019 Jun 01. 25(2), 196-207.
Externí odkaz:
https://www.jstor.org/stable/26718170
Autor:
Bobzien, Susanne, Dyckhoff, Roy
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2019 Apr 01. 107(2), 375-397.
Externí odkaz:
https://www.jstor.org/stable/45096674
Autor:
DYCKHOFF, ROY
Publikováno v:
The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1680-1682.
Externí odkaz:
https://www.jstor.org/stable/26600396
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 1 (March 23, 2011) lmcs:842
Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defi
Externí odkaz:
http://arxiv.org/abs/1012.3372
Autor:
Sadrzadeh, Mehrnoosh, Dyckhoff, Roy
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corr
Externí odkaz:
http://arxiv.org/abs/0903.2448
Autor:
Dyckhoff, Roy, Negri, Sara
Publikováno v:
The Journal of Symbolic Logic, 2000 Dec 01. 65(4), 1499-1518.
Externí odkaz:
https://www.jstor.org/stable/2695061
Autor:
DYCKHOFF, ROY, NEGRI, SARA
Publikováno v:
The Bulletin of Symbolic Logic, 2015 Jun 01. 21(2), 123-163.
Externí odkaz:
https://www.jstor.org/stable/24327109
Autor:
Francez, Nissim, Dyckhoff, Roy
Publikováno v:
Journal of Philosophical Logic, 2012 Jun 01. 41(3), 613-628.
Externí odkaz:
https://www.jstor.org/stable/41487549
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2010 Apr 01. 94(3), 381-401.
Externí odkaz:
https://www.jstor.org/stable/40587201
Autor:
Francez, Nissim, Dyckhoff, Roy
Publikováno v:
Linguistics and Philosophy, 2010 Jan 01. 33(6), 447-477.
Externí odkaz:
https://www.jstor.org/stable/20869040