Zobrazeno 1 - 9
of 9
pro vyhledávání: '"HAEUSLER, EDWARD H."'
We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis' counterfactual abstraction to show that it does not require the classical absurd rule.
Comment: arXiv admin note: text overlap with arXi
Comment: arXiv admin note: text overlap with arXi
Externí odkaz:
http://arxiv.org/abs/1405.5279
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.
Externí odkaz:
http://arxiv.org/abs/1405.7285
Autor:
Lima, Guilherme F., Santos, Rodrigo C.M., Ierusalimschy, Roberto, Haeusler, Edward H., Sant’Anna, Francisco
Publikováno v:
In Journal of Systems Architecture August 2019 97:239-257
Autor:
Lifschitz, Sergio1 (AUTHOR) hermann@inf.puc-rio.br, Haeusler, Edward H.1 (AUTHOR) earmas@inf.puc-rio.br, Catanho, Marcos2 (AUTHOR) marcos.catanho@fiocruz.br, de Miranda, Antonio B.2 (AUTHOR) antonio.miranda@fiocruz.br, Molina de Armas, Elvismary1 (AUTHOR) alexandreh@inf.puc-rio.br, Heine, Alexandre1 (AUTHOR) smoreira@inf.puc-rio.br, Moreira, Sergio G. M. P.1 (AUTHOR) ctristao@inf.puc-rio.br, Tristão, Cristian1 (AUTHOR)
Publikováno v:
BioTech. Sep2022, Vol. 11 Issue 3, p31-31. 25p.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 30 September 2016 324:91-106
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:
In Electronic Notes in Theoretical Computer Science 2 December 2009 256:5-18
Autor:
Santos, Rodrigo C. M., Lima, Guilherme F., Sant'Anna, Francisco, Ierusalimschy, Roberto, Haeusler, Edward H.
Publikováno v:
ACM / SIGPLAN Notices; Jun2018, Vol. 53 Issue 6, p1-18, 18p
Publikováno v:
IFAC-PapersOnLine; September 1997, Vol. 30 Issue: 23 p71-76, 6p