Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166809898> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2166809898 endingPage "1410" @default.
- W2166809898 startingPage "1396" @default.
- W2166809898 abstract "This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hy- potheses made in a proof must be motivated by some example. It is established that such systems are negationless. The expressive power of the pedagogical version of some propositional calculi are studied." @default.
- W2166809898 created "2016-06-24" @default.
- W2166809898 creator A5050987632 @default.
- W2166809898 creator A5077507770 @default.
- W2166809898 date "2007-01-01" @default.
- W2166809898 modified "2023-09-27" @default.
- W2166809898 title "Pedagogical Natural Deduction Systems: the Propositional Case" @default.
- W2166809898 cites W1482532876 @default.
- W2166809898 cites W1488538795 @default.
- W2166809898 cites W1491813684 @default.
- W2166809898 cites W1499154644 @default.
- W2166809898 cites W1558782985 @default.
- W2166809898 cites W1977662840 @default.
- W2166809898 cites W1978232803 @default.
- W2166809898 cites W1987269014 @default.
- W2166809898 cites W2021318707 @default.
- W2166809898 cites W2031735686 @default.
- W2166809898 cites W3135320517 @default.
- W2166809898 cites W3163499847 @default.
- W2166809898 cites W2904184855 @default.
- W2166809898 hasPublicationYear "2007" @default.
- W2166809898 type Work @default.
- W2166809898 sameAs 2166809898 @default.
- W2166809898 citedByCount "3" @default.
- W2166809898 countsByYear W21668098982012 @default.
- W2166809898 crossrefType "journal-article" @default.
- W2166809898 hasAuthorship W2166809898A5050987632 @default.
- W2166809898 hasAuthorship W2166809898A5077507770 @default.
- W2166809898 hasConcept C102993220 @default.
- W2166809898 hasConcept C14523651 @default.
- W2166809898 hasConcept C166957645 @default.
- W2166809898 hasConcept C195818886 @default.
- W2166809898 hasConcept C199343813 @default.
- W2166809898 hasConcept C199360897 @default.
- W2166809898 hasConcept C2524010 @default.
- W2166809898 hasConcept C2776036281 @default.
- W2166809898 hasConcept C2776608160 @default.
- W2166809898 hasConcept C2777686260 @default.
- W2166809898 hasConcept C33203268 @default.
- W2166809898 hasConcept C33923547 @default.
- W2166809898 hasConcept C41008148 @default.
- W2166809898 hasConcept C62073222 @default.
- W2166809898 hasConcept C69562738 @default.
- W2166809898 hasConcept C71924100 @default.
- W2166809898 hasConcept C74640108 @default.
- W2166809898 hasConcept C95457728 @default.
- W2166809898 hasConceptScore W2166809898C102993220 @default.
- W2166809898 hasConceptScore W2166809898C14523651 @default.
- W2166809898 hasConceptScore W2166809898C166957645 @default.
- W2166809898 hasConceptScore W2166809898C195818886 @default.
- W2166809898 hasConceptScore W2166809898C199343813 @default.
- W2166809898 hasConceptScore W2166809898C199360897 @default.
- W2166809898 hasConceptScore W2166809898C2524010 @default.
- W2166809898 hasConceptScore W2166809898C2776036281 @default.
- W2166809898 hasConceptScore W2166809898C2776608160 @default.
- W2166809898 hasConceptScore W2166809898C2777686260 @default.
- W2166809898 hasConceptScore W2166809898C33203268 @default.
- W2166809898 hasConceptScore W2166809898C33923547 @default.
- W2166809898 hasConceptScore W2166809898C41008148 @default.
- W2166809898 hasConceptScore W2166809898C62073222 @default.
- W2166809898 hasConceptScore W2166809898C69562738 @default.
- W2166809898 hasConceptScore W2166809898C71924100 @default.
- W2166809898 hasConceptScore W2166809898C74640108 @default.
- W2166809898 hasConceptScore W2166809898C95457728 @default.
- W2166809898 hasLocation W21668098981 @default.
- W2166809898 hasOpenAccess W2166809898 @default.
- W2166809898 hasPrimaryLocation W21668098981 @default.
- W2166809898 hasRelatedWork W1499649705 @default.
- W2166809898 hasRelatedWork W159715351 @default.
- W2166809898 hasRelatedWork W162931075 @default.
- W2166809898 hasRelatedWork W1691564963 @default.
- W2166809898 hasRelatedWork W192230374 @default.
- W2166809898 hasRelatedWork W1972691992 @default.
- W2166809898 hasRelatedWork W1977662840 @default.
- W2166809898 hasRelatedWork W1978232803 @default.
- W2166809898 hasRelatedWork W1983963449 @default.
- W2166809898 hasRelatedWork W1986219944 @default.
- W2166809898 hasRelatedWork W1996645107 @default.
- W2166809898 hasRelatedWork W2021318707 @default.
- W2166809898 hasRelatedWork W2031735686 @default.
- W2166809898 hasRelatedWork W2084797476 @default.
- W2166809898 hasRelatedWork W2104547884 @default.
- W2166809898 hasRelatedWork W2149552919 @default.
- W2166809898 hasRelatedWork W3081776191 @default.
- W2166809898 hasRelatedWork W891791583 @default.
- W2166809898 hasRelatedWork W1560898921 @default.
- W2166809898 hasRelatedWork W2904184855 @default.
- W2166809898 hasVolume "13" @default.
- W2166809898 isParatext "false" @default.
- W2166809898 isRetracted "false" @default.
- W2166809898 magId "2166809898" @default.
- W2166809898 workType "article" @default.