Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022
Number of pages	18
Publication date	2022
Publication status	Published - 2022
MoE publication type	A4 Article in conference proceedings
Event	4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics - Haifa, Israel Duration: 11 Aug 2022 → 11 Aug 2022 http://iltp.de/ARQNL-2022/

Fields of Science

@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/",

}

Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument. / Kanckos, Annika.
CEUR Workshop Proceedings: Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022. 2022. (CEUR Workshop Proceedings; Vol. Vol 3326).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

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 -