Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115177589> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2115177589 endingPage "326" @default.
- W2115177589 startingPage "289" @default.
- W2115177589 abstract "In this paper we study NNIL, the class of formulas of the Intuitionistic Propositional Calculus. IPC with no nestings of implications to the left. We show that the formulas of this class are precisely the formulas of the language of IPC that are preserved under taking submodels of Kripke models for IPC (for various notions of submodel). This makes NNIL an analogue of the purely universal formulas in Predicate Logic. We prove a number of interpolation properties for NNIL, and explore the extent to which these properties can be generalized to more complicated classes of formulas." @default.
- W2115177589 created "2016-06-24" @default.
- W2115177589 creator A5035399736 @default.
- W2115177589 creator A5056284600 @default.
- W2115177589 creator A5083214023 @default.
- W2115177589 creator A5087593654 @default.
- W2115177589 date "1995-01-01" @default.
- W2115177589 modified "2023-09-23" @default.
- W2115177589 title "NNIL, A study in intuitionistic propositional logic" @default.
- W2115177589 hasPublicationYear "1995" @default.
- W2115177589 type Work @default.
- W2115177589 sameAs 2115177589 @default.
- W2115177589 citedByCount "6" @default.
- W2115177589 countsByYear W21151775892012 @default.
- W2115177589 countsByYear W21151775892015 @default.
- W2115177589 crossrefType "journal-article" @default.
- W2115177589 hasAuthorship W2115177589A5035399736 @default.
- W2115177589 hasAuthorship W2115177589A5056284600 @default.
- W2115177589 hasAuthorship W2115177589A5083214023 @default.
- W2115177589 hasAuthorship W2115177589A5087593654 @default.
- W2115177589 hasConcept C102993220 @default.
- W2115177589 hasConcept C104114177 @default.
- W2115177589 hasConcept C118615104 @default.
- W2115177589 hasConcept C136119220 @default.
- W2115177589 hasConcept C137800194 @default.
- W2115177589 hasConcept C140146324 @default.
- W2115177589 hasConcept C14523651 @default.
- W2115177589 hasConcept C154945302 @default.
- W2115177589 hasConcept C178421362 @default.
- W2115177589 hasConcept C191222856 @default.
- W2115177589 hasConcept C199343813 @default.
- W2115177589 hasConcept C199360897 @default.
- W2115177589 hasConcept C202444582 @default.
- W2115177589 hasConcept C2777212361 @default.
- W2115177589 hasConcept C2777686260 @default.
- W2115177589 hasConcept C33203268 @default.
- W2115177589 hasConcept C33923547 @default.
- W2115177589 hasConcept C41008148 @default.
- W2115177589 hasConcept C69562738 @default.
- W2115177589 hasConcept C71924100 @default.
- W2115177589 hasConcept C74640108 @default.
- W2115177589 hasConceptScore W2115177589C102993220 @default.
- W2115177589 hasConceptScore W2115177589C104114177 @default.
- W2115177589 hasConceptScore W2115177589C118615104 @default.
- W2115177589 hasConceptScore W2115177589C136119220 @default.
- W2115177589 hasConceptScore W2115177589C137800194 @default.
- W2115177589 hasConceptScore W2115177589C140146324 @default.
- W2115177589 hasConceptScore W2115177589C14523651 @default.
- W2115177589 hasConceptScore W2115177589C154945302 @default.
- W2115177589 hasConceptScore W2115177589C178421362 @default.
- W2115177589 hasConceptScore W2115177589C191222856 @default.
- W2115177589 hasConceptScore W2115177589C199343813 @default.
- W2115177589 hasConceptScore W2115177589C199360897 @default.
- W2115177589 hasConceptScore W2115177589C202444582 @default.
- W2115177589 hasConceptScore W2115177589C2777212361 @default.
- W2115177589 hasConceptScore W2115177589C2777686260 @default.
- W2115177589 hasConceptScore W2115177589C33203268 @default.
- W2115177589 hasConceptScore W2115177589C33923547 @default.
- W2115177589 hasConceptScore W2115177589C41008148 @default.
- W2115177589 hasConceptScore W2115177589C69562738 @default.
- W2115177589 hasConceptScore W2115177589C71924100 @default.
- W2115177589 hasConceptScore W2115177589C74640108 @default.
- W2115177589 hasLocation W21151775891 @default.
- W2115177589 hasOpenAccess W2115177589 @default.
- W2115177589 hasPrimaryLocation W21151775891 @default.
- W2115177589 hasRelatedWork W1504271387 @default.
- W2115177589 hasRelatedWork W1517710889 @default.
- W2115177589 hasRelatedWork W1969658529 @default.
- W2115177589 hasRelatedWork W2013072167 @default.
- W2115177589 hasRelatedWork W2016237468 @default.
- W2115177589 hasRelatedWork W2038737679 @default.
- W2115177589 hasRelatedWork W2045641531 @default.
- W2115177589 hasRelatedWork W2053963560 @default.
- W2115177589 hasRelatedWork W2094819849 @default.
- W2115177589 hasRelatedWork W2104178704 @default.
- W2115177589 hasRelatedWork W2146588861 @default.
- W2115177589 hasRelatedWork W2163960919 @default.
- W2115177589 hasRelatedWork W2167180320 @default.
- W2115177589 hasRelatedWork W2243154890 @default.
- W2115177589 hasRelatedWork W2585617020 @default.
- W2115177589 hasRelatedWork W2788679136 @default.
- W2115177589 hasRelatedWork W295611269 @default.
- W2115177589 hasRelatedWork W3145584637 @default.
- W2115177589 hasRelatedWork W3173489431 @default.
- W2115177589 hasRelatedWork W63047115 @default.
- W2115177589 hasVolume "111" @default.
- W2115177589 isParatext "false" @default.
- W2115177589 isRetracted "false" @default.
- W2115177589 magId "2115177589" @default.
- W2115177589 workType "article" @default.