FRINK Linked Data Fragments server

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

• W1948777370 endingPage "205" @default.
• W1948777370 startingPage "185" @default.
• W1948777370 abstract "We propose a term assignment (let calculus) for Intuitionistic Logic for Pragmatics ILP$_{AC}$, a polarized sequent calculus which includes ordinary positive intuitionistic logic LJ$^{⊃∩}$, its dual LJ$^{sγ}$ and dual negations ()$^{b}$ which allow a formula to communicate with its dual fragment. We prove the strong normalization property for the term assignment which follows by soundly translating the let calculus into simply typed γ calculus with pairings and projections. A new and simple proof of strong normalization for the latter is also provided." @default.
• W1948777370 created "2016-06-24" @default.
• W1948777370 creator A5018238403 @default.
• W1948777370 creator A5083144803 @default.
• W1948777370 date "2008-09-05" @default.
• W1948777370 modified "2023-09-23" @default.
• W1948777370 title "A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization" @default.
• W1948777370 cites W1487717359 @default.
• W1948777370 cites W159715351 @default.
• W1948777370 cites W1597236688 @default.
• W1948777370 cites W1602312920 @default.
• W1948777370 cites W1795577507 @default.
• W1948777370 cites W1964901710 @default.
• W1948777370 cites W1966115694 @default.
• W1948777370 cites W1985185257 @default.
• W1948777370 cites W1992582651 @default.
• W1948777370 cites W1993745552 @default.
• W1948777370 cites W2013110598 @default.
• W1948777370 cites W2014085418 @default.
• W1948777370 cites W2016326123 @default.
• W1948777370 cites W2077879002 @default.
• W1948777370 cites W2086460491 @default.
• W1948777370 cites W2144747140 @default.
• W1948777370 cites W2164691248 @default.
• W1948777370 cites W2912464567 @default.
• W1948777370 cites W45792315 @default.
• W1948777370 hasPublicationYear "2008" @default.
• W1948777370 type Work @default.
• W1948777370 sameAs 1948777370 @default.
• W1948777370 citedByCount "4" @default.
• W1948777370 countsByYear W19487773702014 @default.
• W1948777370 countsByYear W19487773702015 @default.
• W1948777370 countsByYear W19487773702018 @default.
• W1948777370 crossrefType "journal-article" @default.
• W1948777370 hasAuthorship W1948777370A5018238403 @default.
• W1948777370 hasAuthorship W1948777370A5083144803 @default.
• W1948777370 hasConcept C108710211 @default.
• W1948777370 hasConcept C11413529 @default.
• W1948777370 hasConcept C118615104 @default.
• W1948777370 hasConcept C121332964 @default.
• W1948777370 hasConcept C135790938 @default.
• W1948777370 hasConcept C136119220 @default.
• W1948777370 hasConcept C136886441 @default.
• W1948777370 hasConcept C142156749 @default.
• W1948777370 hasConcept C144024400 @default.
• W1948777370 hasConcept C159333733 @default.
• W1948777370 hasConcept C178421362 @default.
• W1948777370 hasConcept C19165224 @default.
• W1948777370 hasConcept C199343813 @default.
• W1948777370 hasConcept C199360897 @default.
• W1948777370 hasConcept C202444582 @default.
• W1948777370 hasConcept C2185349 @default.
• W1948777370 hasConcept C2524010 @default.
• W1948777370 hasConcept C2776235265 @default.
• W1948777370 hasConcept C2777686260 @default.
• W1948777370 hasConcept C28077239 @default.
• W1948777370 hasConcept C33923547 @default.
• W1948777370 hasConcept C41008148 @default.
• W1948777370 hasConcept C61237538 @default.
• W1948777370 hasConcept C61797465 @default.
• W1948777370 hasConcept C62073222 @default.
• W1948777370 hasConcept C62520636 @default.
• W1948777370 hasConcept C6489637 @default.
• W1948777370 hasConcept C65880906 @default.
• W1948777370 hasConcept C71924100 @default.
• W1948777370 hasConcept C85343465 @default.
• W1948777370 hasConceptScore W1948777370C108710211 @default.
• W1948777370 hasConceptScore W1948777370C11413529 @default.
• W1948777370 hasConceptScore W1948777370C118615104 @default.
• W1948777370 hasConceptScore W1948777370C121332964 @default.
• W1948777370 hasConceptScore W1948777370C135790938 @default.
• W1948777370 hasConceptScore W1948777370C136119220 @default.
• W1948777370 hasConceptScore W1948777370C136886441 @default.
• W1948777370 hasConceptScore W1948777370C142156749 @default.
• W1948777370 hasConceptScore W1948777370C144024400 @default.
• W1948777370 hasConceptScore W1948777370C159333733 @default.
• W1948777370 hasConceptScore W1948777370C178421362 @default.
• W1948777370 hasConceptScore W1948777370C19165224 @default.
• W1948777370 hasConceptScore W1948777370C199343813 @default.
• W1948777370 hasConceptScore W1948777370C199360897 @default.
• W1948777370 hasConceptScore W1948777370C202444582 @default.
• W1948777370 hasConceptScore W1948777370C2185349 @default.
• W1948777370 hasConceptScore W1948777370C2524010 @default.
• W1948777370 hasConceptScore W1948777370C2776235265 @default.
• W1948777370 hasConceptScore W1948777370C2777686260 @default.
• W1948777370 hasConceptScore W1948777370C28077239 @default.
• W1948777370 hasConceptScore W1948777370C33923547 @default.
• W1948777370 hasConceptScore W1948777370C41008148 @default.
• W1948777370 hasConceptScore W1948777370C61237538 @default.
• W1948777370 hasConceptScore W1948777370C61797465 @default.
• W1948777370 hasConceptScore W1948777370C62073222 @default.
• W1948777370 hasConceptScore W1948777370C62520636 @default.
• W1948777370 hasConceptScore W1948777370C6489637 @default.
• W1948777370 hasConceptScore W1948777370C65880906 @default.
• W1948777370 hasConceptScore W1948777370C71924100 @default.
• W1948777370 hasConceptScore W1948777370C85343465 @default.
• W1948777370 hasIssue "2" @default.
• W1948777370 hasOpenAccess W1948777370 @default.

• next