Zobrazeno 1 - 10
of 200
pro vyhledávání: '"Haeusler E"'
Autor:
Gordeev, L., Haeusler, E. H.
In [GH1] and [GH2] (see also [GH3]) we presented full proof of the equalities NP = coNP = PSPACE. These results have been obtained by the novel proof theoretic tree-to-dag compressing techniques adapted to Prawitz's Natural Deduction (ND) for proposi
Externí odkaz:
http://arxiv.org/abs/2201.04118
Autor:
Gordeev, L., Haeusler, E. H.
The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the complexity cl
Externí odkaz:
http://arxiv.org/abs/2012.04437
Autor:
Gordeev, L., Haeusler, E. H.
Publikováno v:
Bulletin of the Section of Logic (51), 9 pp. (2022)
In [3] we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier's cut-free sequent calculus for minimal logic (HSC) [5] with the horizontal compressing in the corresponding minimal Prawitz-style natural deduct
Externí odkaz:
http://arxiv.org/abs/2011.09262
Autor:
Gordeev, Lew, Haeusler, E. Hermann
Publikováno v:
Bulletin of the Section of Logic. 51(2):197-205
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072273
We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natural deduction system (PUC-ND) associated to this new logic. This infere
Externí odkaz:
http://arxiv.org/abs/1402.1535
Autor:
Gordeev, L., Haeusler, E. H.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 53-83.
Externí odkaz:
https://www.jstor.org/stable/45096841
Autor:
Ditto, A., Martinelli, F., Ramondino, S., Vullo, S.L., Carcangiu, M., Haeusler, E., Mariani, L., Lorusso, D., Raspagliesi, F.
Publikováno v:
In European Journal of Surgical Oncology July 2014 40(7):883-890
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, 2010 Oct 01. 96(1), 95-108.
Externí odkaz:
https://www.jstor.org/stable/40927709
Autor:
Haeusler, E., Teugels, J. L.
Publikováno v:
The Annals of Statistics, 1985 Jun 01. 13(2), 743-756.
Externí odkaz:
https://www.jstor.org/stable/2241207