FRINK Linked Data Fragments server

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

• W2110707830 endingPage "1051" @default.
• W2110707830 startingPage "1035" @default.
• W2110707830 abstract "The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. First, for a range of connectives including both negation and the falsum, there are no classically or intuitionistically correct introduction rules. Second, irrespective of the choice of negation or the falsum as a primitive connective, classical and intuitionistic consequence satisfy exactly the same structural, introduction, and elimination (briefly, elementary) rules. Third, for falsum as primitive only, intuitionistic consequence is the least consequence relation that satisfies all classically correct elementary rules." @default.
• W2110707830 created "2016-06-24" @default.
• W2110707830 creator A5062959562 @default.
• W2110707830 creator A5066338069 @default.
• W2110707830 date "2011-10-01" @default.
• W2110707830 modified "2023-09-26" @default.
• W2110707830 title "Intuitionistic Logic and Elementary Rules" @default.
• W2110707830 cites W1984852785 @default.
• W2110707830 cites W1987839131 @default.
• W2110707830 cites W1987976586 @default.
• W2110707830 cites W1993148732 @default.
• W2110707830 cites W2008453494 @default.
• W2110707830 cites W2012200771 @default.
• W2110707830 cites W2091225478 @default.
• W2110707830 cites W2100108638 @default.
• W2110707830 cites W3151018903 @default.
• W2110707830 doi "https://doi.org/10.1093/mind/fzr076" @default.
• W2110707830 hasPublicationYear "2011" @default.
• W2110707830 type Work @default.
• W2110707830 sameAs 2110707830 @default.
• W2110707830 citedByCount "4" @default.
• W2110707830 countsByYear W21107078302013 @default.
• W2110707830 countsByYear W21107078302017 @default.
• W2110707830 countsByYear W21107078302018 @default.
• W2110707830 countsByYear W21107078302019 @default.
• W2110707830 crossrefType "journal-article" @default.
• W2110707830 hasAuthorship W2110707830A5062959562 @default.
• W2110707830 hasAuthorship W2110707830A5066338069 @default.
• W2110707830 hasBestOaLocation W21107078302 @default.
• W2110707830 hasConcept C102993220 @default.
• W2110707830 hasConcept C110039528 @default.
• W2110707830 hasConcept C111472728 @default.
• W2110707830 hasConcept C118615104 @default.
• W2110707830 hasConcept C136119220 @default.
• W2110707830 hasConcept C137155000 @default.
• W2110707830 hasConcept C138885662 @default.
• W2110707830 hasConcept C14523651 @default.
• W2110707830 hasConcept C150889026 @default.
• W2110707830 hasConcept C154945302 @default.
• W2110707830 hasConcept C178421362 @default.
• W2110707830 hasConcept C191222856 @default.
• W2110707830 hasConcept C194146651 @default.
• W2110707830 hasConcept C199360897 @default.
• W2110707830 hasConcept C202444582 @default.
• W2110707830 hasConcept C203659156 @default.
• W2110707830 hasConcept C2185349 @default.
• W2110707830 hasConcept C25343380 @default.
• W2110707830 hasConcept C32241873 @default.
• W2110707830 hasConcept C33203268 @default.
• W2110707830 hasConcept C33923547 @default.
• W2110707830 hasConcept C3845977 @default.
• W2110707830 hasConcept C41008148 @default.
• W2110707830 hasConcept C46274116 @default.
• W2110707830 hasConcept C69562738 @default.
• W2110707830 hasConcept C74640108 @default.
• W2110707830 hasConcept C77088390 @default.
• W2110707830 hasConceptScore W2110707830C102993220 @default.
• W2110707830 hasConceptScore W2110707830C110039528 @default.
• W2110707830 hasConceptScore W2110707830C111472728 @default.
• W2110707830 hasConceptScore W2110707830C118615104 @default.
• W2110707830 hasConceptScore W2110707830C136119220 @default.
• W2110707830 hasConceptScore W2110707830C137155000 @default.
• W2110707830 hasConceptScore W2110707830C138885662 @default.
• W2110707830 hasConceptScore W2110707830C14523651 @default.
• W2110707830 hasConceptScore W2110707830C150889026 @default.
• W2110707830 hasConceptScore W2110707830C154945302 @default.
• W2110707830 hasConceptScore W2110707830C178421362 @default.
• W2110707830 hasConceptScore W2110707830C191222856 @default.
• W2110707830 hasConceptScore W2110707830C194146651 @default.
• W2110707830 hasConceptScore W2110707830C199360897 @default.
• W2110707830 hasConceptScore W2110707830C202444582 @default.
• W2110707830 hasConceptScore W2110707830C203659156 @default.
• W2110707830 hasConceptScore W2110707830C2185349 @default.
• W2110707830 hasConceptScore W2110707830C25343380 @default.
• W2110707830 hasConceptScore W2110707830C32241873 @default.
• W2110707830 hasConceptScore W2110707830C33203268 @default.
• W2110707830 hasConceptScore W2110707830C33923547 @default.
• W2110707830 hasConceptScore W2110707830C3845977 @default.
• W2110707830 hasConceptScore W2110707830C41008148 @default.
• W2110707830 hasConceptScore W2110707830C46274116 @default.
• W2110707830 hasConceptScore W2110707830C69562738 @default.
• W2110707830 hasConceptScore W2110707830C74640108 @default.
• W2110707830 hasConceptScore W2110707830C77088390 @default.
• W2110707830 hasIssue "480" @default.
• W2110707830 hasLocation W21107078301 @default.
• W2110707830 hasLocation W21107078302 @default.
• W2110707830 hasOpenAccess W2110707830 @default.
• W2110707830 hasPrimaryLocation W21107078301 @default.
• W2110707830 hasRelatedWork W10948657 @default.
• W2110707830 hasRelatedWork W109550358 @default.
• W2110707830 hasRelatedWork W110504306 @default.
• W2110707830 hasRelatedWork W1597691074 @default.
• W2110707830 hasRelatedWork W186947099 @default.
• W2110707830 hasRelatedWork W192749010 @default.
• W2110707830 hasRelatedWork W197490411 @default.
• W2110707830 hasRelatedWork W1975151224 @default.
• W2110707830 hasRelatedWork W2024972365 @default.
• W2110707830 hasRelatedWork W2035142752 @default.

• next