Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042462954> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3042462954 endingPage "348" @default.
- W3042462954 startingPage "329" @default.
- W3042462954 abstract "Author(s): Holliday, Wesley Halcrow | Abstract: Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the formation of questions. Recently inquisitive logicians have considered what happens if the logic of declarative sentences is assumed to be intuitionistic rather than classical. In short, what should inquisitive logic be on an intuitionistic base? In this paper, we provide an answer to this question from the perspective of nuclear semantics, an approach to classical and intuitionistic semantics pursued in our previous work. In particular, we show how Beth semantics for intuitionistic logic naturally extends to a semantics for inquisitive intuitionistic logic. In addition, we show how an explicit view of inquisitive intuitionistic logic comes via a translation into propositional lax logic, whose completeness we prove with respect to Beth semantics." @default.
- W3042462954 created "2020-07-23" @default.
- W3042462954 creator A5088813725 @default.
- W3042462954 date "2020-06-01" @default.
- W3042462954 modified "2023-09-26" @default.
- W3042462954 title "Inquisitive Intuitionistic Logic" @default.
- W3042462954 hasPublicationYear "2020" @default.
- W3042462954 type Work @default.
- W3042462954 sameAs 3042462954 @default.
- W3042462954 citedByCount "0" @default.
- W3042462954 crossrefType "proceedings-article" @default.
- W3042462954 hasAuthorship W3042462954A5088813725 @default.
- W3042462954 hasConcept C102993220 @default.
- W3042462954 hasConcept C110039528 @default.
- W3042462954 hasConcept C136119220 @default.
- W3042462954 hasConcept C150889026 @default.
- W3042462954 hasConcept C178421362 @default.
- W3042462954 hasConcept C199360897 @default.
- W3042462954 hasConcept C202444582 @default.
- W3042462954 hasConcept C203659156 @default.
- W3042462954 hasConcept C32241873 @default.
- W3042462954 hasConcept C33203268 @default.
- W3042462954 hasConcept C33923547 @default.
- W3042462954 hasConcept C3845977 @default.
- W3042462954 hasConcept C41008148 @default.
- W3042462954 hasConcept C69562738 @default.
- W3042462954 hasConceptScore W3042462954C102993220 @default.
- W3042462954 hasConceptScore W3042462954C110039528 @default.
- W3042462954 hasConceptScore W3042462954C136119220 @default.
- W3042462954 hasConceptScore W3042462954C150889026 @default.
- W3042462954 hasConceptScore W3042462954C178421362 @default.
- W3042462954 hasConceptScore W3042462954C199360897 @default.
- W3042462954 hasConceptScore W3042462954C202444582 @default.
- W3042462954 hasConceptScore W3042462954C203659156 @default.
- W3042462954 hasConceptScore W3042462954C32241873 @default.
- W3042462954 hasConceptScore W3042462954C33203268 @default.
- W3042462954 hasConceptScore W3042462954C33923547 @default.
- W3042462954 hasConceptScore W3042462954C3845977 @default.
- W3042462954 hasConceptScore W3042462954C41008148 @default.
- W3042462954 hasConceptScore W3042462954C69562738 @default.
- W3042462954 hasLocation W30424629541 @default.
- W3042462954 hasOpenAccess W3042462954 @default.
- W3042462954 hasPrimaryLocation W30424629541 @default.
- W3042462954 hasRelatedWork W104321364 @default.
- W3042462954 hasRelatedWork W117430941 @default.
- W3042462954 hasRelatedWork W1417958065 @default.
- W3042462954 hasRelatedWork W1720348857 @default.
- W3042462954 hasRelatedWork W173246448 @default.
- W3042462954 hasRelatedWork W2060306799 @default.
- W3042462954 hasRelatedWork W2081976468 @default.
- W3042462954 hasRelatedWork W2122478249 @default.
- W3042462954 hasRelatedWork W2268189978 @default.
- W3042462954 hasRelatedWork W2402643976 @default.
- W3042462954 hasRelatedWork W2892215877 @default.
- W3042462954 hasRelatedWork W2908263265 @default.
- W3042462954 hasRelatedWork W2913428631 @default.
- W3042462954 hasRelatedWork W3027956517 @default.
- W3042462954 hasRelatedWork W3188716551 @default.
- W3042462954 hasRelatedWork W3202177550 @default.
- W3042462954 hasRelatedWork W652613443 @default.
- W3042462954 hasRelatedWork W87514402 @default.
- W3042462954 hasRelatedWork W3002066899 @default.
- W3042462954 hasRelatedWork W77687092 @default.
- W3042462954 isParatext "false" @default.
- W3042462954 isRetracted "false" @default.
- W3042462954 magId "3042462954" @default.
- W3042462954 workType "article" @default.