Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103849993> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2103849993 abstract "In this paper a method for the replacement, in formulas, of strong quantifiersby functions is introduced that can be considered as an alternativeto Skolemization in the setting of constructive theories. A constructiveextension of intuitionistic predicate logic that captures the notions of preorderand existence is introduced and the method, orderization, is shownto be sound and complete with respect to this logic. This implies ananalogue of Herbrand’s theorem for intuitionistic logic. The orderizationmethod is applied to the constructive theories of equality and groups." @default.
- W2103849993 created "2016-06-24" @default.
- W2103849993 creator A5035315045 @default.
- W2103849993 creator A5087051979 @default.
- W2103849993 date "2008-03-17" @default.
- W2103849993 modified "2023-09-25" @default.
- W2103849993 title "On Skolemization in constructive theories" @default.
- W2103849993 cites W118143724 @default.
- W2103849993 cites W1516111266 @default.
- W2103849993 cites W1587799979 @default.
- W2103849993 cites W1590795174 @default.
- W2103849993 cites W1602423174 @default.
- W2103849993 cites W2027917524 @default.
- W2103849993 cites W2083944571 @default.
- W2103849993 cites W2113711982 @default.
- W2103849993 cites W2798718690 @default.
- W2103849993 cites W62803954 @default.
- W2103849993 cites W981129589 @default.
- W2103849993 hasPublicationYear "2008" @default.
- W2103849993 type Work @default.
- W2103849993 sameAs 2103849993 @default.
- W2103849993 citedByCount "1" @default.
- W2103849993 countsByYear W21038499932012 @default.
- W2103849993 crossrefType "journal-article" @default.
- W2103849993 hasAuthorship W2103849993A5035315045 @default.
- W2103849993 hasAuthorship W2103849993A5087051979 @default.
- W2103849993 hasConcept C118615104 @default.
- W2103849993 hasConcept C136119220 @default.
- W2103849993 hasConcept C140146324 @default.
- W2103849993 hasConcept C178421362 @default.
- W2103849993 hasConcept C199343813 @default.
- W2103849993 hasConcept C199360897 @default.
- W2103849993 hasConcept C202444582 @default.
- W2103849993 hasConcept C2333172 @default.
- W2103849993 hasConcept C2777686260 @default.
- W2103849993 hasConcept C2778029271 @default.
- W2103849993 hasConcept C2778701210 @default.
- W2103849993 hasConcept C33923547 @default.
- W2103849993 hasConcept C41008148 @default.
- W2103849993 hasConcept C69562738 @default.
- W2103849993 hasConcept C71924100 @default.
- W2103849993 hasConcept C98045186 @default.
- W2103849993 hasConceptScore W2103849993C118615104 @default.
- W2103849993 hasConceptScore W2103849993C136119220 @default.
- W2103849993 hasConceptScore W2103849993C140146324 @default.
- W2103849993 hasConceptScore W2103849993C178421362 @default.
- W2103849993 hasConceptScore W2103849993C199343813 @default.
- W2103849993 hasConceptScore W2103849993C199360897 @default.
- W2103849993 hasConceptScore W2103849993C202444582 @default.
- W2103849993 hasConceptScore W2103849993C2333172 @default.
- W2103849993 hasConceptScore W2103849993C2777686260 @default.
- W2103849993 hasConceptScore W2103849993C2778029271 @default.
- W2103849993 hasConceptScore W2103849993C2778701210 @default.
- W2103849993 hasConceptScore W2103849993C33923547 @default.
- W2103849993 hasConceptScore W2103849993C41008148 @default.
- W2103849993 hasConceptScore W2103849993C69562738 @default.
- W2103849993 hasConceptScore W2103849993C71924100 @default.
- W2103849993 hasConceptScore W2103849993C98045186 @default.
- W2103849993 hasLocation W21038499931 @default.
- W2103849993 hasOpenAccess W2103849993 @default.
- W2103849993 hasPrimaryLocation W21038499931 @default.
- W2103849993 hasRelatedWork W10948657 @default.
- W2103849993 hasRelatedWork W1747803946 @default.
- W2103849993 hasRelatedWork W192749010 @default.
- W2103849993 hasRelatedWork W1975223030 @default.
- W2103849993 hasRelatedWork W1988700246 @default.
- W2103849993 hasRelatedWork W1991452220 @default.
- W2103849993 hasRelatedWork W2024972365 @default.
- W2103849993 hasRelatedWork W2035142752 @default.
- W2103849993 hasRelatedWork W2056801043 @default.
- W2103849993 hasRelatedWork W206382595 @default.
- W2103849993 hasRelatedWork W2068413129 @default.
- W2103849993 hasRelatedWork W2078212736 @default.
- W2103849993 hasRelatedWork W2128403889 @default.
- W2103849993 hasRelatedWork W2135415018 @default.
- W2103849993 hasRelatedWork W2182414126 @default.
- W2103849993 hasRelatedWork W2217828624 @default.
- W2103849993 hasRelatedWork W2913358032 @default.
- W2103849993 hasRelatedWork W3105213457 @default.
- W2103849993 hasRelatedWork W2105889724 @default.
- W2103849993 hasRelatedWork W3023954237 @default.
- W2103849993 hasVolume "256" @default.
- W2103849993 isParatext "false" @default.
- W2103849993 isRetracted "false" @default.
- W2103849993 magId "2103849993" @default.
- W2103849993 workType "article" @default.