Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:bibKLT00101586
Első szerző:Dragalin, Albert Grigor'evič (matematikus)
Cím:Explicit algebraic models for constructive and classical theories with non-standard elements / Albert G. Dragalin
Dátum:1995
ISSN:0039-3215 1572-8730
Megjegyzések:We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to use constructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with constructive logic where algorithmic properties are essential.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Studia logica. - 55 : 1 (1955), p. 33-61. -
Pályázati támogatás:OTKA 1654
OTKA
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.