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

Napredna pretraga

Pregled bibliografske jedinice broj: 273641

Weakened Gödelian ontological systems


Kovač, Srećko
Weakened Gödelian ontological systems // The Bulletin of Symbolic Logic, 9 (2003), 1. (podatak o recenziji nije dostupan, sažetak, ostalo)


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

Naslov
Weakened Gödelian ontological systems

Autori
Kovač, Srećko

Izvornik
The Bulletin of Symbolic Logic (1079-8986) 9 (2003), 1;

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

Ključne riječi
Gödel; ontological proof; completeness proof

Sažetak
In the talk (ASL European Summer Meeting 2002) some Gödelian ontological systems are analyzed using second-order modal logic and the theory of types.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

Napomena
Tekst je sažetak izlaganja na skupu Logic Colloquium 2002 - ASL European Summer Meeting, Münster 2002.



POVEZANOST RADA


Projekti:
0191009

Ustanove:
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (autor)

Citiraj ovu publikaciju

Kovač, Srećko
Weakened Gödelian ontological systems // The Bulletin of Symbolic Logic, 9 (2003), 1. (podatak o recenziji nije dostupan, sažetak, ostalo)
Kovač, S. (2003) Weakened Gödelian ontological systems. The Bulletin of Symbolic Logic, 9 (1).
@article{article, author = {Kova\v{c}, S.}, year = {2003}, pages = {96}, keywords = {G\"{o}del, ontological proof, completeness proof}, journal = {The Bulletin of Symbolic Logic}, volume = {9}, number = {1}, issn = {1079-8986}, title = {Weakened G\"{o}delian ontological systems}, keyword = {G\"{o}del, ontological proof, completeness proof} }
@article{article, author = {Kova\v{c}, S.}, year = {2003}, pages = {96}, keywords = {G\"{o}del, ontological proof, completeness proof}, journal = {The Bulletin of Symbolic Logic}, volume = {9}, number = {1}, issn = {1079-8986}, title = {Weakened G\"{o}delian ontological systems}, keyword = {G\"{o}del, ontological proof, completeness proof} }

Časopis indeksira:


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


Uključenost u ostale bibliografske baze podataka:


  • Mathematical Reviews
  • The Philosopher's Index





Contrast
Increase Font
Decrease Font
Dyslexic Font