Advocates logical pluralism at the object level inside a unifying HOL meta-framework to enable interdisciplinary reuse and warns against single-logic imperialism.
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Upgrade of proofs asserting NP = coNP = PSPACE with comments on Jerabek's critique.
citing papers explorer
-
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
Advocates logical pluralism at the object level inside a unifying HOL meta-framework to enable interdisciplinary reuse and warns against single-logic imperialism.
-
Proofs of NP = coNP = PSPACE: Current upgrade
Upgrade of proofs asserting NP = coNP = PSPACE with comments on Jerabek's critique.