Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140640825> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2140640825 endingPage "10" @default.
- W2140640825 startingPage "5" @default.
- W2140640825 abstract "Formal propositional logic describing the laws of constructive (intuitionistic) reasoning was first proposed in 1930 by Heyting. It is obtained from classical pro-positional calculus by deleting the Law of Excluded Middle, and it is usually referred to as Heyting's (intuitionistic) propositional calculus ([9], §§23, 19) (we write HPP in short). Formal logic involving predicates and quantifiers based on HPP is called Heyting's (intuitionistic) predicate calculus ([9], §§31, 19) (we write HPR in short)." @default.
- W2140640825 created "2016-06-24" @default.
- W2140640825 creator A5046248935 @default.
- W2140640825 creator A5054465062 @default.
- W2140640825 date "1986-01-01" @default.
- W2140640825 modified "2023-09-25" @default.
- W2140640825 title "On the quantificational logic of intuitionistic set theory" @default.
- W2140640825 cites W115176759 @default.
- W2140640825 cites W141536115 @default.
- W2140640825 cites W1557351111 @default.
- W2140640825 cites W2019619275 @default.
- W2140640825 cites W2041222837 @default.
- W2140640825 cites W2054024574 @default.
- W2140640825 cites W2243154890 @default.
- W2140640825 doi "https://doi.org/10.1017/s0305004100063854" @default.
- W2140640825 hasPublicationYear "1986" @default.
- W2140640825 type Work @default.
- W2140640825 sameAs 2140640825 @default.
- W2140640825 citedByCount "7" @default.
- W2140640825 countsByYear W21406408252020 @default.
- W2140640825 countsByYear W21406408252021 @default.
- W2140640825 countsByYear W21406408252022 @default.
- W2140640825 countsByYear W21406408252023 @default.
- W2140640825 crossrefType "journal-article" @default.
- W2140640825 hasAuthorship W2140640825A5046248935 @default.
- W2140640825 hasAuthorship W2140640825A5054465062 @default.
- W2140640825 hasConcept C102993220 @default.
- W2140640825 hasConcept C110039528 @default.
- W2140640825 hasConcept C118615104 @default.
- W2140640825 hasConcept C136119220 @default.
- W2140640825 hasConcept C137155000 @default.
- W2140640825 hasConcept C138885662 @default.
- W2140640825 hasConcept C14523651 @default.
- W2140640825 hasConcept C150889026 @default.
- W2140640825 hasConcept C178421362 @default.
- W2140640825 hasConcept C187062830 @default.
- W2140640825 hasConcept C191222856 @default.
- W2140640825 hasConcept C19689857 @default.
- W2140640825 hasConcept C199343813 @default.
- W2140640825 hasConcept C199360897 @default.
- W2140640825 hasConcept C202444582 @default.
- W2140640825 hasConcept C203659156 @default.
- W2140640825 hasConcept C2777686260 @default.
- W2140640825 hasConcept C33203268 @default.
- W2140640825 hasConcept C33923547 @default.
- W2140640825 hasConcept C41008148 @default.
- W2140640825 hasConcept C41895202 @default.
- W2140640825 hasConcept C62073222 @default.
- W2140640825 hasConcept C69562738 @default.
- W2140640825 hasConcept C71924100 @default.
- W2140640825 hasConcept C85343465 @default.
- W2140640825 hasConceptScore W2140640825C102993220 @default.
- W2140640825 hasConceptScore W2140640825C110039528 @default.
- W2140640825 hasConceptScore W2140640825C118615104 @default.
- W2140640825 hasConceptScore W2140640825C136119220 @default.
- W2140640825 hasConceptScore W2140640825C137155000 @default.
- W2140640825 hasConceptScore W2140640825C138885662 @default.
- W2140640825 hasConceptScore W2140640825C14523651 @default.
- W2140640825 hasConceptScore W2140640825C150889026 @default.
- W2140640825 hasConceptScore W2140640825C178421362 @default.
- W2140640825 hasConceptScore W2140640825C187062830 @default.
- W2140640825 hasConceptScore W2140640825C191222856 @default.
- W2140640825 hasConceptScore W2140640825C19689857 @default.
- W2140640825 hasConceptScore W2140640825C199343813 @default.
- W2140640825 hasConceptScore W2140640825C199360897 @default.
- W2140640825 hasConceptScore W2140640825C202444582 @default.
- W2140640825 hasConceptScore W2140640825C203659156 @default.
- W2140640825 hasConceptScore W2140640825C2777686260 @default.
- W2140640825 hasConceptScore W2140640825C33203268 @default.
- W2140640825 hasConceptScore W2140640825C33923547 @default.
- W2140640825 hasConceptScore W2140640825C41008148 @default.
- W2140640825 hasConceptScore W2140640825C41895202 @default.
- W2140640825 hasConceptScore W2140640825C62073222 @default.
- W2140640825 hasConceptScore W2140640825C69562738 @default.
- W2140640825 hasConceptScore W2140640825C71924100 @default.
- W2140640825 hasConceptScore W2140640825C85343465 @default.
- W2140640825 hasIssue "1" @default.
- W2140640825 hasLocation W21406408251 @default.
- W2140640825 hasOpenAccess W2140640825 @default.
- W2140640825 hasPrimaryLocation W21406408251 @default.
- W2140640825 hasRelatedWork W1951369434 @default.
- W2140640825 hasRelatedWork W2002130184 @default.
- W2140640825 hasRelatedWork W2045432969 @default.
- W2140640825 hasRelatedWork W2140640825 @default.
- W2140640825 hasRelatedWork W2202962081 @default.
- W2140640825 hasRelatedWork W26253884 @default.
- W2140640825 hasRelatedWork W2952893544 @default.
- W2140640825 hasRelatedWork W3032980851 @default.
- W2140640825 hasRelatedWork W63047115 @default.
- W2140640825 hasRelatedWork W91153459 @default.
- W2140640825 hasVolume "99" @default.
- W2140640825 isParatext "false" @default.
- W2140640825 isRetracted "false" @default.
- W2140640825 magId "2140640825" @default.
- W2140640825 workType "article" @default.