Pregled bibliografske jedinice broj: 273641
Weakened Gödelian ontological systems
Weakened Gödelian ontological systems // European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1) / Cummings, James (ur.).
Münster, Njemačka: Association for Symbolic Logic, 2003. str. 96-96 (poster, 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
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, ostalo
Izvornik
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1)
/ Cummings, James - : Association for Symbolic Logic, 2003, 96-96
Skup
Logic Colloquium 2002 - European Summer Meeting of the Association for Symbolic Logic
Mjesto i datum
Münster, Njemačka, 03.08.2002. - 09.08.2002
Vrsta sudjelovanja
Poster
Vrsta recenzije
Podatak o recenziji nije dostupan
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
Citiraj ovu publikaciju:
Č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
