Výsledky vyhľadávania

Nájdených záznamov: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^sav_un_epca 271560 xcla^"
  1. NázovA Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
    Autor van Berkel Kees
    Spoluautori Lyon Tim S.
    Pascucci Matteo SAVFILOZ - Filozofický ústav SAV
    Akcia VEGA č. 2/0125/22. Zodpovednosť a modálna logika : 01.01.2022 - 31.12.2025
    Zdroj.dok. Journal of Philosophical Logic. Vol. 52, no. 5 (2023), pp. 1475-1516
    KategóriaADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných
    Kategória (od 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Typ výstupučlánok
    Rok vykazovania2023
    DOI 10.1007/s10992-023-09714-7
    URLURL link
    článok

    článok

  2. NázovSubstitution contradiction, its resolution and the Church-Rosser Theorem in TIL
    Autor Kosterec Miloš SAVFILOZ - Filozofický ústav SAV
    Zdroj.dok. Journal of Philosophical Logic. Vol. 49, iss. 1 (2020), pp. 121-133
    KategóriaADCB - Vedecké práce v zahraničných karentovaných časopisoch neimpaktovaných
    Kategória (od 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Typ výstupučlánok
    Rok vykazovania2020
    DOI 10.1007/s10992-019-09514-y
    URLURL link
    Názov súboruPrístupVeľkosťStiahnutéTypLicence
    Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.pdfNeprístupný/archív323.3 KB0Vydavateľská verzia
    článok

    článok



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.