FRINK Linked Data Fragments server

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

• W3145584637 abstract "This paper investigates the semantics of the intuitionistic propositional logic (IPL) extended with subtraction, also known as the HeytingBrouwer logic or biIPL. It introduces and extends some basic concepts and theorems in the Kripke semantics of intuitionistic propositional logic to obtain new results on the exact models of fragments in the bidirectional case. The paper also includes results of the computations in fragments of biIPL, based on some of these exact models." @default.
• W3145584637 created "2021-04-13" @default.
• W3145584637 creator A5042830841 @default.
• W3145584637 date "2004-01-01" @default.
• W3145584637 modified "2023-09-27" @default.
• W3145584637 title "Explorations and computations in bidirectional intuitionistic propositional logic" @default.
• W3145584637 cites W104937841 @default.
• W3145584637 cites W1995638481 @default.
• W3145584637 cites W2007096790 @default.
• W3145584637 cites W2014085418 @default.
• W3145584637 cites W2058093611 @default.
• W3145584637 cites W2074025367 @default.
• W3145584637 cites W2084630333 @default.
• W3145584637 cites W2085057391 @default.
• W3145584637 cites W2170098829 @default.
• W3145584637 cites W2912464567 @default.
• W3145584637 cites W2970205057 @default.
• W3145584637 cites W409914996 @default.
• W3145584637 cites W612868514 @default.
• W3145584637 cites W62016554 @default.
• W3145584637 hasPublicationYear "2004" @default.
• W3145584637 type Work @default.
• W3145584637 sameAs 3145584637 @default.
• W3145584637 citedByCount "0" @default.
• W3145584637 crossrefType "journal-article" @default.
• W3145584637 hasAuthorship W3145584637A5042830841 @default.
• W3145584637 hasConcept C102993220 @default.
• W3145584637 hasConcept C110039528 @default.
• W3145584637 hasConcept C118615104 @default.
• W3145584637 hasConcept C14523651 @default.
• W3145584637 hasConcept C160131679 @default.
• W3145584637 hasConcept C178421362 @default.
• W3145584637 hasConcept C184337299 @default.
• W3145584637 hasConcept C185592680 @default.
• W3145584637 hasConcept C188027245 @default.
• W3145584637 hasConcept C191222856 @default.
• W3145584637 hasConcept C199343813 @default.
• W3145584637 hasConcept C199360897 @default.
• W3145584637 hasConcept C203659156 @default.
• W3145584637 hasConcept C27508121 @default.
• W3145584637 hasConcept C2777686260 @default.
• W3145584637 hasConcept C32241873 @default.
• W3145584637 hasConcept C33203268 @default.
• W3145584637 hasConcept C33923547 @default.
• W3145584637 hasConcept C3845977 @default.
• W3145584637 hasConcept C41008148 @default.
• W3145584637 hasConcept C69562738 @default.
• W3145584637 hasConcept C71139939 @default.
• W3145584637 hasConcept C71924100 @default.
• W3145584637 hasConcept C74640108 @default.
• W3145584637 hasConcept C80444323 @default.
• W3145584637 hasConceptScore W3145584637C102993220 @default.
• W3145584637 hasConceptScore W3145584637C110039528 @default.
• W3145584637 hasConceptScore W3145584637C118615104 @default.
• W3145584637 hasConceptScore W3145584637C14523651 @default.
• W3145584637 hasConceptScore W3145584637C160131679 @default.
• W3145584637 hasConceptScore W3145584637C178421362 @default.
• W3145584637 hasConceptScore W3145584637C184337299 @default.
• W3145584637 hasConceptScore W3145584637C185592680 @default.
• W3145584637 hasConceptScore W3145584637C188027245 @default.
• W3145584637 hasConceptScore W3145584637C191222856 @default.
• W3145584637 hasConceptScore W3145584637C199343813 @default.
• W3145584637 hasConceptScore W3145584637C199360897 @default.
• W3145584637 hasConceptScore W3145584637C203659156 @default.
• W3145584637 hasConceptScore W3145584637C27508121 @default.
• W3145584637 hasConceptScore W3145584637C2777686260 @default.
• W3145584637 hasConceptScore W3145584637C32241873 @default.
• W3145584637 hasConceptScore W3145584637C33203268 @default.
• W3145584637 hasConceptScore W3145584637C33923547 @default.
• W3145584637 hasConceptScore W3145584637C3845977 @default.
• W3145584637 hasConceptScore W3145584637C41008148 @default.
• W3145584637 hasConceptScore W3145584637C69562738 @default.
• W3145584637 hasConceptScore W3145584637C71139939 @default.
• W3145584637 hasConceptScore W3145584637C71924100 @default.
• W3145584637 hasConceptScore W3145584637C74640108 @default.
• W3145584637 hasConceptScore W3145584637C80444323 @default.
• W3145584637 hasLocation W31455846371 @default.
• W3145584637 hasOpenAccess W3145584637 @default.
• W3145584637 hasPrimaryLocation W31455846371 @default.
• W3145584637 hasRelatedWork W1492846120 @default.
• W3145584637 hasRelatedWork W1504271387 @default.
• W3145584637 hasRelatedWork W1562822918 @default.
• W3145584637 hasRelatedWork W1951369434 @default.
• W3145584637 hasRelatedWork W1963559850 @default.
• W3145584637 hasRelatedWork W2008892119 @default.
• W3145584637 hasRelatedWork W2012457462 @default.
• W3145584637 hasRelatedWork W2038737679 @default.
• W3145584637 hasRelatedWork W2039832353 @default.
• W3145584637 hasRelatedWork W2045641531 @default.
• W3145584637 hasRelatedWork W2051609898 @default.
• W3145584637 hasRelatedWork W2053963560 @default.
• W3145584637 hasRelatedWork W2068880842 @default.
• W3145584637 hasRelatedWork W2134877291 @default.
• W3145584637 hasRelatedWork W2143326093 @default.
• W3145584637 hasRelatedWork W2163197731 @default.
• W3145584637 hasRelatedWork W2409304415 @default.
• W3145584637 hasRelatedWork W3158093902 @default.
• W3145584637 hasRelatedWork W3200682096 @default.
• W3145584637 hasRelatedWork W2184255062 @default.
• W3145584637 isParatext "false" @default.

• next