Napredna pretraga

Pregled bibliografske jedinice broj: 757020

Formalna nekonzistetnost i kvazimatrice


Skansi, Sandro
Formalna nekonzistetnost i kvazimatrice // Prolegomena, 12 (2013), 1; 103-119 (međunarodna recenzija, pregledni rad, znanstveni)


Naslov
Formalna nekonzistetnost i kvazimatrice
(Formal inconsistency and quasimatrices)

Autori
Skansi, Sandro

Izvornik
Prolegomena (1333-4395) 12 (2013), 1; 103-119

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, pregledni rad, znanstveni

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
Hrvatski

Znanstvena područja
Matematika, Računarstvo, Filozofija



POVEZANOST RADA


Ustanove
Filozofski fakultet, Zagreb

Autor s matičnim brojem:
Sandro Skansi, (343196)

Časopis indeksira:


  • Current Contents Connect (CCC)
  • Web of Science Core Collection (WoSCC)
    • Arts & Humanities Citation Index (A&HCI)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus