Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022
Antal sidor	18
Utgivningsdatum	2022
Status	Publicerad - 2022
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics - Haifa, Israel Varaktighet: 11 aug. 2022 → 11 aug. 2022 http://iltp.de/ARQNL-2022/

Vetenskapsgrenar

Kanckos_Intuitionistic DerivabilitySlutlig publicerad version, 333 KBLicens: CC BY

@inproceedings{c8394e6fefda4f17b7667863b5c55d3a,

title = "Intuitionistic Derivability in Anderson{\textquoteright}s Variant of the Ontological Argument",

keywords = "611 Philosophy, 113 Computer and information sciences",

author = "Annika Kanckos",

year = "2022",

language = "English",

series = "CEUR Workshop Proceedings",

booktitle = "CEUR Workshop Proceedings",

note = "4th International Workshop on<br/>Automated Reasoning in Quantified Non-Classical Logics ; Conference date: 11-08-2022 Through 11-08-2022",

url = "http://iltp.de/ARQNL-2022/",

}

TY - GEN

T1 - Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

AU - Kanckos, Annika

PY - 2022

Y1 - 2022

KW - 611 Philosophy

KW - 113 Computer and information sciences

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - CEUR Workshop Proceedings

T2 - 4th International Workshop on<br/>Automated Reasoning in Quantified Non-Classical Logics

Y2 - 11 August 2022 through 11 August 2022

ER -