Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110138067> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2110138067 abstract "We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization. The expressive power of an IF-sentence can then be strongly captured by a pair of Σ11-sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible Σ11-sentences corresponds with an IF-sentence.In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation." @default.
- W2110138067 created "2016-06-24" @default.
- W2110138067 creator A5035508729 @default.
- W2110138067 date "2005-11-01" @default.
- W2110138067 modified "2023-09-26" @default.
- W2110138067 title "Falsity Conditions for IF-Sentences" @default.
- W2110138067 cites W1548835575 @default.
- W2110138067 cites W1990514682 @default.
- W2110138067 cites W2061271212 @default.
- W2110138067 cites W2070509093 @default.
- W2110138067 cites W2086965543 @default.
- W2110138067 cites W2109100253 @default.
- W2110138067 doi "https://doi.org/10.4000/philosophiascientiae.549" @default.
- W2110138067 hasPublicationYear "2005" @default.
- W2110138067 type Work @default.
- W2110138067 sameAs 2110138067 @default.
- W2110138067 citedByCount "1" @default.
- W2110138067 crossrefType "journal-article" @default.
- W2110138067 hasAuthorship W2110138067A5035508729 @default.
- W2110138067 hasBestOaLocation W21101380671 @default.
- W2110138067 hasConcept C138885662 @default.
- W2110138067 hasConcept C154945302 @default.
- W2110138067 hasConcept C195818886 @default.
- W2110138067 hasConcept C204321447 @default.
- W2110138067 hasConcept C2185349 @default.
- W2110138067 hasConcept C2777530160 @default.
- W2110138067 hasConcept C2777685122 @default.
- W2110138067 hasConcept C33923547 @default.
- W2110138067 hasConcept C34849589 @default.
- W2110138067 hasConcept C41008148 @default.
- W2110138067 hasConcept C41895202 @default.
- W2110138067 hasConcept C80444323 @default.
- W2110138067 hasConceptScore W2110138067C138885662 @default.
- W2110138067 hasConceptScore W2110138067C154945302 @default.
- W2110138067 hasConceptScore W2110138067C195818886 @default.
- W2110138067 hasConceptScore W2110138067C204321447 @default.
- W2110138067 hasConceptScore W2110138067C2185349 @default.
- W2110138067 hasConceptScore W2110138067C2777530160 @default.
- W2110138067 hasConceptScore W2110138067C2777685122 @default.
- W2110138067 hasConceptScore W2110138067C33923547 @default.
- W2110138067 hasConceptScore W2110138067C34849589 @default.
- W2110138067 hasConceptScore W2110138067C41008148 @default.
- W2110138067 hasConceptScore W2110138067C41895202 @default.
- W2110138067 hasConceptScore W2110138067C80444323 @default.
- W2110138067 hasLocation W21101380671 @default.
- W2110138067 hasLocation W21101380672 @default.
- W2110138067 hasLocation W21101380673 @default.
- W2110138067 hasOpenAccess W2110138067 @default.
- W2110138067 hasPrimaryLocation W21101380671 @default.
- W2110138067 hasRelatedWork W143456944 @default.
- W2110138067 hasRelatedWork W1967783975 @default.
- W2110138067 hasRelatedWork W2360377923 @default.
- W2110138067 hasRelatedWork W250424148 @default.
- W2110138067 hasRelatedWork W2534405863 @default.
- W2110138067 hasRelatedWork W2567598725 @default.
- W2110138067 hasRelatedWork W4205721191 @default.
- W2110138067 hasRelatedWork W4232132667 @default.
- W2110138067 hasRelatedWork W4290059358 @default.
- W2110138067 hasRelatedWork W1943501985 @default.
- W2110138067 isParatext "false" @default.
- W2110138067 isRetracted "false" @default.
- W2110138067 magId "2110138067" @default.
- W2110138067 workType "article" @default.