(UL)
  • Osnove. Del 4, Intenzionalna logika - izhodišče formalne semantike
    Prijatelj, Andreja
    V prvem poglavju je prikazan intenzionalni vidik naravnega jezika. Podanih je nekaj zgledov iz slovenskega jezika, ki porajajo nejasen kontekst. Opredeljen je Montaguejev formalni sistem ... intenzionalne logike in predvsem podrobno predstavljena prirejena modelsko teoretična indeksna semantika. V drugem poglavju pa so dokazani meta izreki o veljavnih formulskih shemah ter o pomensko invariantnih operacijah v IL.
    Vrsta gradiva - raziskovalno poročilo
    Založništvo in izdelava - Ljubljana : Inštitut za matematiko, fiziko in mehaniko, 1986
    Jezik - slovenski
    COBISS.SI-ID - 7624793

Knjižnica Signatura – lokacija, inventarna št. ... Status izvoda
FMF in IMFM, Matematična knjižnica, Ljubljana Skladišče-Jadranska 19

10920/174
prosto - za čitalnico
loading ...
loading ...
loading ...