Matches in SemOpenAlex for { <https://semopenalex.org/work/W2240178489> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2240178489 abstract "We adapt our light Dialectica interpretation to usual and light modal formulas (with universal quantification on boolean and natural variables) and prove it sound for a non-standard modal arithmetic based on Goedel's T and classical S_4. The range of this light modal Dialectica is the usual (non-modal) classical Arithmetic in all finite types (with booleans); the propositional kernel of its domain is Boolean and not S_4. The `heavy' modal Dialectica interpretation is a new technique; it cannot be simulated within our previous light Dialectica. The synthesized functionals are at least as good as before; the translation process is much improved and could be more suitable for the human operators." @default.
- W2240178489 created "2016-06-24" @default.
- W2240178489 creator A5075403620 @default.
- W2240178489 creator A5090004685 @default.
- W2240178489 date "2012-11-30" @default.
- W2240178489 modified "2023-09-25" @default.
- W2240178489 title "Modal Functional (`Dialectica') Interpretation" @default.
- W2240178489 cites W1485672136 @default.
- W2240178489 cites W1488538795 @default.
- W2240178489 cites W1489270299 @default.
- W2240178489 cites W1502726770 @default.
- W2240178489 cites W1511668160 @default.
- W2240178489 cites W151454751 @default.
- W2240178489 cites W1517093898 @default.
- W2240178489 cites W1561025304 @default.
- W2240178489 cites W1588790262 @default.
- W2240178489 cites W1987058504 @default.
- W2240178489 cites W1988824860 @default.
- W2240178489 cites W1989920000 @default.
- W2240178489 cites W1996228525 @default.
- W2240178489 cites W1996605832 @default.
- W2240178489 cites W2004219814 @default.
- W2240178489 cites W2006395151 @default.
- W2240178489 cites W2007119026 @default.
- W2240178489 cites W2024316283 @default.
- W2240178489 cites W2052037434 @default.
- W2240178489 cites W2107662769 @default.
- W2240178489 cites W2126066106 @default.
- W2240178489 cites W2134419104 @default.
- W2240178489 cites W2143326093 @default.
- W2240178489 cites W2165506927 @default.
- W2240178489 cites W2482810752 @default.
- W2240178489 cites W2724531825 @default.
- W2240178489 cites W2974949998 @default.
- W2240178489 cites W3102229542 @default.
- W2240178489 cites W3132759537 @default.
- W2240178489 cites W649438156 @default.
- W2240178489 hasPublicationYear "2012" @default.
- W2240178489 type Work @default.
- W2240178489 sameAs 2240178489 @default.
- W2240178489 citedByCount "0" @default.
- W2240178489 crossrefType "posted-content" @default.
- W2240178489 hasAuthorship W2240178489A5075403620 @default.
- W2240178489 hasAuthorship W2240178489A5090004685 @default.
- W2240178489 hasConcept C118615104 @default.
- W2240178489 hasConcept C121332964 @default.
- W2240178489 hasConcept C185592680 @default.
- W2240178489 hasConcept C188027245 @default.
- W2240178489 hasConcept C199360897 @default.
- W2240178489 hasConcept C33923547 @default.
- W2240178489 hasConcept C41008148 @default.
- W2240178489 hasConcept C527412718 @default.
- W2240178489 hasConcept C71139939 @default.
- W2240178489 hasConcept C74193536 @default.
- W2240178489 hasConceptScore W2240178489C118615104 @default.
- W2240178489 hasConceptScore W2240178489C121332964 @default.
- W2240178489 hasConceptScore W2240178489C185592680 @default.
- W2240178489 hasConceptScore W2240178489C188027245 @default.
- W2240178489 hasConceptScore W2240178489C199360897 @default.
- W2240178489 hasConceptScore W2240178489C33923547 @default.
- W2240178489 hasConceptScore W2240178489C41008148 @default.
- W2240178489 hasConceptScore W2240178489C527412718 @default.
- W2240178489 hasConceptScore W2240178489C71139939 @default.
- W2240178489 hasConceptScore W2240178489C74193536 @default.
- W2240178489 hasLocation W22401784891 @default.
- W2240178489 hasOpenAccess W2240178489 @default.
- W2240178489 hasPrimaryLocation W22401784891 @default.
- W2240178489 hasRelatedWork W1479771654 @default.
- W2240178489 hasRelatedWork W1481660686 @default.
- W2240178489 hasRelatedWork W1515158094 @default.
- W2240178489 hasRelatedWork W1582842241 @default.
- W2240178489 hasRelatedWork W1589613243 @default.
- W2240178489 hasRelatedWork W1668162333 @default.
- W2240178489 hasRelatedWork W1778829768 @default.
- W2240178489 hasRelatedWork W179751113 @default.
- W2240178489 hasRelatedWork W1978559879 @default.
- W2240178489 hasRelatedWork W2052267452 @default.
- W2240178489 hasRelatedWork W2069376434 @default.
- W2240178489 hasRelatedWork W2069503495 @default.
- W2240178489 hasRelatedWork W2071490614 @default.
- W2240178489 hasRelatedWork W2120878557 @default.
- W2240178489 hasRelatedWork W2124982781 @default.
- W2240178489 hasRelatedWork W2127129973 @default.
- W2240178489 hasRelatedWork W2368217096 @default.
- W2240178489 hasRelatedWork W2565097121 @default.
- W2240178489 hasRelatedWork W2950450725 @default.
- W2240178489 hasRelatedWork W188066024 @default.
- W2240178489 isParatext "false" @default.
- W2240178489 isRetracted "false" @default.
- W2240178489 magId "2240178489" @default.
- W2240178489 workType "article" @default.