Matches in SemOpenAlex for { <https://semopenalex.org/work/W3112039770> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3112039770 abstract "We evaluate the Godel–McKinsey–Tarski [GMT] translation of IPC “by reduction from intuitionistic logic (IPC) using a series of translations”. The equation is not tautologous. This refutes GMT, the method approach using a series of translations, and IPC itself which form a non tautologous fragment of the universal logic VŁ4." @default.
- W3112039770 created "2020-12-21" @default.
- W3112039770 creator A5080174307 @default.
- W3112039770 date "2019-06-01" @default.
- W3112039770 modified "2023-09-23" @default.
- W3112039770 title "Refutation of the Gödel-Mckinsey-Tarski Translation of Intuitionistic Logic (Ipc)" @default.
- W3112039770 hasPublicationYear "2019" @default.
- W3112039770 type Work @default.
- W3112039770 sameAs 3112039770 @default.
- W3112039770 citedByCount "0" @default.
- W3112039770 crossrefType "posted-content" @default.
- W3112039770 hasAuthorship W3112039770A5080174307 @default.
- W3112039770 hasConcept C104317684 @default.
- W3112039770 hasConcept C105580179 @default.
- W3112039770 hasConcept C11413529 @default.
- W3112039770 hasConcept C118615104 @default.
- W3112039770 hasConcept C143724316 @default.
- W3112039770 hasConcept C149364088 @default.
- W3112039770 hasConcept C151730666 @default.
- W3112039770 hasConcept C154945302 @default.
- W3112039770 hasConcept C178421362 @default.
- W3112039770 hasConcept C185592680 @default.
- W3112039770 hasConcept C199343813 @default.
- W3112039770 hasConcept C2776235265 @default.
- W3112039770 hasConcept C2777686260 @default.
- W3112039770 hasConcept C2781302003 @default.
- W3112039770 hasConcept C33923547 @default.
- W3112039770 hasConcept C41008148 @default.
- W3112039770 hasConcept C55493867 @default.
- W3112039770 hasConcept C69562738 @default.
- W3112039770 hasConcept C71924100 @default.
- W3112039770 hasConcept C86803240 @default.
- W3112039770 hasConceptScore W3112039770C104317684 @default.
- W3112039770 hasConceptScore W3112039770C105580179 @default.
- W3112039770 hasConceptScore W3112039770C11413529 @default.
- W3112039770 hasConceptScore W3112039770C118615104 @default.
- W3112039770 hasConceptScore W3112039770C143724316 @default.
- W3112039770 hasConceptScore W3112039770C149364088 @default.
- W3112039770 hasConceptScore W3112039770C151730666 @default.
- W3112039770 hasConceptScore W3112039770C154945302 @default.
- W3112039770 hasConceptScore W3112039770C178421362 @default.
- W3112039770 hasConceptScore W3112039770C185592680 @default.
- W3112039770 hasConceptScore W3112039770C199343813 @default.
- W3112039770 hasConceptScore W3112039770C2776235265 @default.
- W3112039770 hasConceptScore W3112039770C2777686260 @default.
- W3112039770 hasConceptScore W3112039770C2781302003 @default.
- W3112039770 hasConceptScore W3112039770C33923547 @default.
- W3112039770 hasConceptScore W3112039770C41008148 @default.
- W3112039770 hasConceptScore W3112039770C55493867 @default.
- W3112039770 hasConceptScore W3112039770C69562738 @default.
- W3112039770 hasConceptScore W3112039770C71924100 @default.
- W3112039770 hasConceptScore W3112039770C86803240 @default.
- W3112039770 hasLocation W31120397701 @default.
- W3112039770 hasOpenAccess W3112039770 @default.
- W3112039770 hasPrimaryLocation W31120397701 @default.
- W3112039770 hasRelatedWork W1008332841 @default.
- W3112039770 hasRelatedWork W142488620 @default.
- W3112039770 hasRelatedWork W1486199300 @default.
- W3112039770 hasRelatedWork W1496589583 @default.
- W3112039770 hasRelatedWork W1558782985 @default.
- W3112039770 hasRelatedWork W1569401874 @default.
- W3112039770 hasRelatedWork W1574512757 @default.
- W3112039770 hasRelatedWork W2008214319 @default.
- W3112039770 hasRelatedWork W2095350535 @default.
- W3112039770 hasRelatedWork W2099571154 @default.
- W3112039770 hasRelatedWork W2199439316 @default.
- W3112039770 hasRelatedWork W2278610002 @default.
- W3112039770 hasRelatedWork W2419298441 @default.
- W3112039770 hasRelatedWork W2476879192 @default.
- W3112039770 hasRelatedWork W2480499218 @default.
- W3112039770 hasRelatedWork W2487677574 @default.
- W3112039770 hasRelatedWork W2502253281 @default.
- W3112039770 hasRelatedWork W2898126838 @default.
- W3112039770 hasRelatedWork W574592313 @default.
- W3112039770 hasRelatedWork W590686570 @default.
- W3112039770 isParatext "false" @default.
- W3112039770 isRetracted "false" @default.
- W3112039770 magId "3112039770" @default.
- W3112039770 workType "article" @default.