Basket

    1.
    0508276 - ÚI 2020 CH eng A - Abstract
    Cintula, Petr - Diaconescu, D. - Metcalfe, G.
    Skolemization and Herbrand Theorems for Lattice-Valued Logics.
    LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 58-59.
    [LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985807
    Permanent Link: http://hdl.handle.net/11104/0299232
    FileDownloadSizeCommentaryVersionAccess
    LATD2018.pdf02.9 MBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all