Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 850732

A formalization of Gödelian causal theory

Kovač, Srećko
A formalization of Gödelian causal theory // The bulletin of symbolic logic, 22 (2016), 3; 406-406 (podatak o recenziji nije dostupan, sažetak, znanstveni)

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

Naslov
A formalization of Gödelian causal theory

Autori
Kovač, Srećko

Izvornik
The bulletin of symbolic logic (1079-8986) 22 (2016), 3; 406-406

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, sažetak, znanstveni

Ključne riječi
causality ; Gödel ; ontological proof ; justification logic

Sažetak
A Gödelian causal theory is formalized on the base of his onto-theological system.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija



POVEZANOST RADA

Ustanove:
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (autor)

Citiraj ovu publikaciju:

Kovač, Srećko
A formalization of Gödelian causal theory // The bulletin of symbolic logic, 22 (2016), 3; 406-406 (podatak o recenziji nije dostupan, sažetak, znanstveni)
Kovač, S. (2016) A formalization of Gödelian causal theory. The bulletin of symbolic logic, 22 (3), 406-406.
@article{article, author = {Kova\v{c}, Sre\'{c}ko}, year = {2016}, pages = {406-406}, keywords = {causality, G\"{o}del, ontological proof, justification logic}, journal = {The bulletin of symbolic logic}, volume = {22}, number = {3}, issn = {1079-8986}, title = {A formalization of G\"{o}delian causal theory}, keyword = {causality, G\"{o}del, ontological proof, justification logic} }
@article{article, author = {Kova\v{c}, Sre\'{c}ko}, year = {2016}, pages = {406-406}, keywords = {causality, G\"{o}del, ontological proof, justification logic}, journal = {The bulletin of symbolic logic}, volume = {22}, number = {3}, issn = {1079-8986}, title = {A formalization of G\"{o}delian causal theory}, keyword = {causality, G\"{o}del, ontological proof, justification logic} }

Časopis indeksira:


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

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.