Zobrazeno 1 - 10
of 3 967
pro vyhledávání: '"Ferguson , Thomas"'
The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments $A\to B$, some atom must appear in both $A$ and $B$ with some additional condition (e.g., with
Externí odkaz:
http://arxiv.org/abs/2409.08942
This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the G\"odel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}\phi,w)=1-v(\phi,w)$.
Externí odkaz:
http://arxiv.org/abs/2401.15395
Autor:
Bamforth, Ryan J., Ferguson, Thomas W., Tangri, Navdeep, Rigatto, Claudio, Collister, David, Komenda, Paul
Publikováno v:
In Kidney International Reports August 2024
Autor:
Tangri, Navdeep1,2 (AUTHOR) ntangri@sogh.mb.ca, Ferguson, Thomas1,2 (AUTHOR), Leon, Silvia J2,3 (AUTHOR), Anker, Stefan D4,5 (AUTHOR), Filippatos, Gerasimos6 (AUTHOR), Pitt, Bertram7 (AUTHOR), Rossing, Peter8,9 (AUTHOR), Ruilope, Luis M10,11,12 (AUTHOR), Farjat, Alfredo E13 (AUTHOR), Farag, Youssef M K14 (AUTHOR), Schloemer, Patrick15 (AUTHOR), Lawatscheck, Robert16 (AUTHOR), Rohwedder, Katja17 (AUTHOR), Bakris, George L18 (AUTHOR)
Publikováno v:
Clinical Kidney Journal. Apr2024, Vol. 17 Issue 4, p1-9. 9p.
Autor:
Harasemiw, Oksana, Nayak, Jasmir G., Grubic, Nicholas, Ferguson, Thomas W., Sood, Manish M., Tangri, Navdeep
Publikováno v:
In American Journal of Kidney Diseases December 2023 82(6):656-665
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.