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
Datum izdavanja:
28.6.2013.
Posjeta: 2.087 *