Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Tudor Protopopescu"'
Autor:
Tudor Protopopescu
Publikováno v:
Journal of Logic and Computation. 30:381-402
Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic, which reflects the intended Brouwer–Heyting–Kolmogorov (BHK) semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and be
Publikováno v:
Logic Journal of the IGPL. 27:411-433
In this paper we argue that normative reasons are hyperintensional and put forward a formal account of this thesis. That reasons are hyperintensional means that a reason for a proposition does not imply that it is also a reason for a logically equiva
Autor:
Sergei Artemov, Tudor Protopopescu
Publikováno v:
Synthese. 190:3349-3376
In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle all truths are knowable, when expressed as a bi-modal principle $${\diamondsuit
Autor:
E. Craiu, Oana Istratescu, Bogdan Minescu, Petre Capraru, Mircea Vlădoianu, Tatu-Chiţoiu G, Daniel Burghina, M. Vintila, Monica Dan, Cristina Teodorescu, Sorin Stamate, Maria Dorobanţu, Tudor Protopopescu, Manuela Guran, Luminiţa Serban, Nicoleta Caea
Publikováno v:
International Journal of Cardiology. 122:216-223
The classical streptokinase regimen (1.5 M.U. over 60 min) may be too slow in patients with ST-elevation myocardial infarction (STEMI).To compare the efficacy and safety of four streptokinase regimens in STEMI patients.1880 consecutive patients admit
Autor:
Tudor Protopopescu
Publikováno v:
Logic, Rationality, and Interaction ISBN: 9783662485606
LORI
LORI
The language of intuitionistic epistemic logic, IEL [3], captures basic reasoning about intuitionistic knowledge and belief, but its language has expressive limitations. Following Godel’s explication of IPC as a fragment of the more expressive syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6355f42ae218dcca2d3f98b5a58c722
https://doi.org/10.1007/978-3-662-48561-3_24
https://doi.org/10.1007/978-3-662-48561-3_24
Autor:
Sergei Artemov, Tudor Protopopescu
We outline an intuitionistic view of knowledge which maintains the original Brou\-wer-Heyting-Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18e69b44b12c94b28e36626f1d11ce93
http://arxiv.org/abs/1406.1582
http://arxiv.org/abs/1406.1582