Pregledni rad

Formalna nekonzistentnost i kvazimatrice

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

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

Datum izdavanja:

28.6.2013.

Posjeta: 2.112 *