Review article

Formalna nekonzistentnost i kvazimatrice

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

Abstract

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.

Keywords

Adekvatnost; kvazimatrice; logike formalne nekonzistetnosti; pouzdanost

Hrčak ID:

104352

URI

https://hrcak.srce.hr/104352

Publication date:

28.6.2013.

Visits: 2.112 *