crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 757020

Časopis

Autori: Skansi, Sandro
Naslov: Formalna nekonzistetnost i kvazimatrice
( Formal inconsistency and quasimatrices )
Izvornik: Prolegomena (1333-4395) 12 (2013), 1; 103-119
Vrsta rada: pregledni rad
Ključne riječi: Adekvatnost; kvazimatrice; logike formalne nekonzistetnosti; pouzdanost
( Adequacy; quasimatrices; logics for formal inconsistency; soundness )
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
Izvorni jezik: HRV
Rad je indeksiran u
bazama podataka:
Current Contents Connect (CCC)
Scopus
Arts & Humanities Citation Index (A&HCI) (sastavni dio Web of Science Core Collectiona)
SCI-EXP, SSCI i/ili A&HCI
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Računarstvo,Filozofija
Puni text rada: 757020.Prolegomena_12_1_2013_Clanak_Skansi.pdf (tekst priložen 1. Tra. 2015. u 08:29 sati)
URL Internet adrese: http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=153443
URL cjelovitog teksta:
Google Scholar: Formalna nekonzistetnost i kvazimatrice
Upisao u CROSBI: Sandro Skansi (sandro.skansi@public.carnet.hr), 1. Tra. 2015. u 08:29 sati



  Verzija za printanje   za tiskati


upomoc
foot_4