Formalna nekonzistetnost i kvazimatrice (CROSBI ID 217407)
Prilog u časopisu | pregledni rad (znanstveni) | međunarodna recenzija
Podaci o odgovornosti
Skansi, Sandro
hrvatski
Formalna nekonzistetnost i kvazimatrice
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
Adekvatnost; kvazimatrice; logike formalne nekonzistetnosti; pouzdanost
nije evidentirano
engleski
Formal inconsistency and quasimatrices
nije evidentirano
Adequacy; quasimatrices; logics for formal inconsistency; soundness
nije evidentirano
Podaci o izdanju
Povezanost rada
Računarstvo, Filozofija, Matematika