Pronađeno 2 rezultata za: "modelnoteorijska semantika"
opis značenja koji uključuje izradu apstraktnih matematičkih modela onih stvari u svijetu koje čine semantičku vrijednost jezičnih izričaja
pristup semantici prirodnoga jezika koji se temelji na matematičkoj logici, posebice teoriji skupova, lambda- računu, intenzionalnoj logici i teoriji tipova, a može se okarakterizirati kao istinosnouvjetna, modelnoteorijska semantika mogućih svjetova