Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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)


CROSBI ID: 757020 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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

Profili:

Avatar Url Sandro Skansi (autor)

Citiraj ovu publikaciju

Skansi, Sandro
Formalna nekonzistetnost i kvazimatrice // Prolegomena, 12 (2013), 1; 103-119 (međunarodna recenzija, pregledni rad, znanstveni)
Skansi, S. (2013) Formalna nekonzistetnost i kvazimatrice. Prolegomena, 12 (1), 103-119.
@article{article, author = {Skansi, S.}, year = {2013}, pages = {103-119}, keywords = {Adequacy, quasimatrices, logics for formal inconsistency, soundness}, journal = {Prolegomena}, volume = {12}, number = {1}, issn = {1333-4395}, title = {Formal inconsistency and quasimatrices}, keyword = {Adequacy, quasimatrices, logics for formal inconsistency, soundness} }

Č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