FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079999798> ?p ?o ?g. }

• W2079999798 abstract "In his 1903, Principles of Mathematics, Bertrand Russell mentioned possible definitions of conjunction, disjunction, negation and existential quantification in terms of implication and universal quantification, exploiting impredicative universal quantifiers over all propositions. In his 1965 Ph.D. thesis Dag Prawitz showed that these definitions hold in intuitionistic second order logic. More recently, these definitions have been used to represent logic in various impredicative type theories. This treatment of logic is distinct from the more standard Curry–Howard representation of logic in a dependent type theory.The main aim of this paper is to compare, in a purely logical, non type-theoretic setting, this Russell–Prawitz representation of intuitionistic logic with other possible representations. It turns out that associated with the Russell–Prawitz representation is a lax modal operator, which we call the Russell–Prawitz modality, and that any lax modal operator can be used to give a translation of intuitionistic logic into itself that generalises both the double negation interpretation, double negation being a paradigm example of a lax modality, and the Russell–Prawitz representation." @default.
• W2079999798 created "2016-06-24" @default.
• W2079999798 creator A5051943015 @default.
• W2079999798 date "2001-07-25" @default.
• W2079999798 modified "2023-09-27" @default.
• W2079999798 title "The Russell–Prawitz modality" @default.
• W2079999798 cites W10948657 @default.
• W2079999798 cites W1488538795 @default.
• W2079999798 cites W1538467230 @default.
• W2079999798 cites W1557351111 @default.
• W2079999798 cites W1591728283 @default.
• W2079999798 cites W159715351 @default.
• W2079999798 cites W162931075 @default.
• W2079999798 cites W1787181409 @default.
• W2079999798 cites W1972458837 @default.
• W2079999798 cites W1981311833 @default.
• W2079999798 cites W1997143185 @default.
• W2079999798 cites W2023132547 @default.
• W2079999798 cites W2122703262 @default.
• W2079999798 cites W2137657593 @default.
• W2079999798 cites W2156876717 @default.
• W2079999798 cites W2211325406 @default.
• W2079999798 cites W2314383604 @default.
• W2079999798 cites W2575149513 @default.
• W2079999798 cites W3083054731 @default.
• W2079999798 cites W569543113 @default.
• W2079999798 doi "https://doi.org/10.1017/s0960129501003309" @default.
• W2079999798 hasPublicationYear "2001" @default.
• W2079999798 type Work @default.
• W2079999798 sameAs 2079999798 @default.
• W2079999798 citedByCount "22" @default.
• W2079999798 countsByYear W20799997982012 @default.
• W2079999798 countsByYear W20799997982014 @default.
• W2079999798 countsByYear W20799997982016 @default.
• W2079999798 countsByYear W20799997982017 @default.
• W2079999798 countsByYear W20799997982018 @default.
• W2079999798 countsByYear W20799997982019 @default.
• W2079999798 countsByYear W20799997982020 @default.
• W2079999798 countsByYear W20799997982022 @default.
• W2079999798 crossrefType "journal-article" @default.
• W2079999798 hasAuthorship W2079999798A5051943015 @default.
• W2079999798 hasConcept C102993220 @default.
• W2079999798 hasConcept C118615104 @default.
• W2079999798 hasConcept C136119220 @default.
• W2079999798 hasConcept C154945302 @default.
• W2079999798 hasConcept C17744445 @default.
• W2079999798 hasConcept C178421362 @default.
• W2079999798 hasConcept C185592680 @default.
• W2079999798 hasConcept C188027245 @default.
• W2079999798 hasConcept C199343813 @default.
• W2079999798 hasConcept C199360897 @default.
• W2079999798 hasConcept C199539241 @default.
• W2079999798 hasConcept C202444582 @default.
• W2079999798 hasConcept C203659156 @default.
• W2079999798 hasConcept C2185349 @default.
• W2079999798 hasConcept C27508121 @default.
• W2079999798 hasConcept C2776359362 @default.
• W2079999798 hasConcept C2777686260 @default.
• W2079999798 hasConcept C2780226545 @default.
• W2079999798 hasConcept C28077239 @default.
• W2079999798 hasConcept C33923547 @default.
• W2079999798 hasConcept C41008148 @default.
• W2079999798 hasConcept C527412718 @default.
• W2079999798 hasConcept C71139939 @default.
• W2079999798 hasConcept C71924100 @default.
• W2079999798 hasConcept C78344899 @default.
• W2079999798 hasConcept C94625758 @default.
• W2079999798 hasConceptScore W2079999798C102993220 @default.
• W2079999798 hasConceptScore W2079999798C118615104 @default.
• W2079999798 hasConceptScore W2079999798C136119220 @default.
• W2079999798 hasConceptScore W2079999798C154945302 @default.
• W2079999798 hasConceptScore W2079999798C17744445 @default.
• W2079999798 hasConceptScore W2079999798C178421362 @default.
• W2079999798 hasConceptScore W2079999798C185592680 @default.
• W2079999798 hasConceptScore W2079999798C188027245 @default.
• W2079999798 hasConceptScore W2079999798C199343813 @default.
• W2079999798 hasConceptScore W2079999798C199360897 @default.
• W2079999798 hasConceptScore W2079999798C199539241 @default.
• W2079999798 hasConceptScore W2079999798C202444582 @default.
• W2079999798 hasConceptScore W2079999798C203659156 @default.
• W2079999798 hasConceptScore W2079999798C2185349 @default.
• W2079999798 hasConceptScore W2079999798C27508121 @default.
• W2079999798 hasConceptScore W2079999798C2776359362 @default.
• W2079999798 hasConceptScore W2079999798C2777686260 @default.
• W2079999798 hasConceptScore W2079999798C2780226545 @default.
• W2079999798 hasConceptScore W2079999798C28077239 @default.
• W2079999798 hasConceptScore W2079999798C33923547 @default.
• W2079999798 hasConceptScore W2079999798C41008148 @default.
• W2079999798 hasConceptScore W2079999798C527412718 @default.
• W2079999798 hasConceptScore W2079999798C71139939 @default.
• W2079999798 hasConceptScore W2079999798C71924100 @default.
• W2079999798 hasConceptScore W2079999798C78344899 @default.
• W2079999798 hasConceptScore W2079999798C94625758 @default.
• W2079999798 hasIssue "04" @default.
• W2079999798 hasLocation W20799997981 @default.
• W2079999798 hasOpenAccess W2079999798 @default.
• W2079999798 hasPrimaryLocation W20799997981 @default.
• W2079999798 hasRelatedWork W125654268 @default.
• W2079999798 hasRelatedWork W142007228 @default.
• W2079999798 hasRelatedWork W1559427454 @default.

• next