Skoči na glavni sadržaj

Prolegomena : Časopis za filozofiju, Vol. 12 No. 1, 2013.

Pregledni rad

Formalna nekonzistentnost i kvazimatrice

Sandro Skansi orcid id orcid.org/0000-0002-3851-1186

Puni tekst: hrvatski pdf 872 Kb

str. 103-119

preuzimanja: 986

citiraj

Sažetak

U ovom članku predstavljamo Da Costine sustave Cω i C1 (1974: 497– 510). Da bismo ilustrirali specifična svojstva ovih sustava, koristimo mnogobrojne primjere te iznosimo poznatu konstrukciju kvazimatrica. Uz konstrukciju, dajemo svoj dokaz adekvatnosti (pouzdanosti) kvazimatrica u C1, pri čemu je ovaj dokaz moguće proširiti na cijelu Cn hijerarhiju.

Ključne riječi

Adekvatnost, kvazimatrice, logike formalne nekonzistetnosti, pouzdanost

Hrčak ID:

104352

URI

https://hrcak.srce.hr/104352

Posjeta: 1.434 *