Matches in SemOpenAlex for { <https://semopenalex.org/work/W3182948686> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3182948686 endingPage "1639" @default.
- W3182948686 startingPage "1608" @default.
- W3182948686 abstract "Abstract Neighbourhood semantics for intuitionistic logic extended with countable conjunctions and disjunctions is introduced and shown equivalent to topological semantics, with an indirect completeness proof as payoff. The new semantics is used to obtain a labelled sequent calculus with good structural properties. In particular, admissibility of weakening and contraction, invertibility with preservation of height for each rule and cut elimination are shown. Finally, a direct Tait–Schütte–Takeuti style form of completeness via the extraction of a countermodel from a failed proof search is proved." @default.
- W3182948686 created "2021-07-19" @default.
- W3182948686 creator A5051669490 @default.
- W3182948686 creator A5059726063 @default.
- W3182948686 date "2021-07-05" @default.
- W3182948686 modified "2023-09-30" @default.
- W3182948686 title "Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic" @default.
- W3182948686 cites W1528233644 @default.
- W3182948686 cites W1699512023 @default.
- W3182948686 cites W1968581827 @default.
- W3182948686 cites W1981403427 @default.
- W3182948686 cites W2061319273 @default.
- W3182948686 cites W2294984609 @default.
- W3182948686 cites W2461171513 @default.
- W3182948686 cites W2768154882 @default.
- W3182948686 cites W2892215877 @default.
- W3182948686 cites W2943746135 @default.
- W3182948686 cites W2996703651 @default.
- W3182948686 cites W4234037986 @default.
- W3182948686 cites W4247269955 @default.
- W3182948686 cites W2001667007 @default.
- W3182948686 doi "https://doi.org/10.1093/logcom/exab040" @default.
- W3182948686 hasPublicationYear "2021" @default.
- W3182948686 type Work @default.
- W3182948686 sameAs 3182948686 @default.
- W3182948686 citedByCount "4" @default.
- W3182948686 countsByYear W31829486862022 @default.
- W3182948686 countsByYear W31829486862023 @default.
- W3182948686 crossrefType "journal-article" @default.
- W3182948686 hasAuthorship W3182948686A5051669490 @default.
- W3182948686 hasAuthorship W3182948686A5059726063 @default.
- W3182948686 hasConcept C108710211 @default.
- W3182948686 hasConcept C110729354 @default.
- W3182948686 hasConcept C118615104 @default.
- W3182948686 hasConcept C134306372 @default.
- W3182948686 hasConcept C136119220 @default.
- W3182948686 hasConcept C17231256 @default.
- W3182948686 hasConcept C199343813 @default.
- W3182948686 hasConcept C202444582 @default.
- W3182948686 hasConcept C2524010 @default.
- W3182948686 hasConcept C2777686260 @default.
- W3182948686 hasConcept C33923547 @default.
- W3182948686 hasConcept C62073222 @default.
- W3182948686 hasConcept C6489637 @default.
- W3182948686 hasConcept C65880906 @default.
- W3182948686 hasConcept C71924100 @default.
- W3182948686 hasConcept C89421646 @default.
- W3182948686 hasConceptScore W3182948686C108710211 @default.
- W3182948686 hasConceptScore W3182948686C110729354 @default.
- W3182948686 hasConceptScore W3182948686C118615104 @default.
- W3182948686 hasConceptScore W3182948686C134306372 @default.
- W3182948686 hasConceptScore W3182948686C136119220 @default.
- W3182948686 hasConceptScore W3182948686C17231256 @default.
- W3182948686 hasConceptScore W3182948686C199343813 @default.
- W3182948686 hasConceptScore W3182948686C202444582 @default.
- W3182948686 hasConceptScore W3182948686C2524010 @default.
- W3182948686 hasConceptScore W3182948686C2777686260 @default.
- W3182948686 hasConceptScore W3182948686C33923547 @default.
- W3182948686 hasConceptScore W3182948686C62073222 @default.
- W3182948686 hasConceptScore W3182948686C6489637 @default.
- W3182948686 hasConceptScore W3182948686C65880906 @default.
- W3182948686 hasConceptScore W3182948686C71924100 @default.
- W3182948686 hasConceptScore W3182948686C89421646 @default.
- W3182948686 hasFunder F4320321108 @default.
- W3182948686 hasIssue "7" @default.
- W3182948686 hasLocation W31829486861 @default.
- W3182948686 hasOpenAccess W3182948686 @default.
- W3182948686 hasPrimaryLocation W31829486861 @default.
- W3182948686 hasRelatedWork W1529708838 @default.
- W3182948686 hasRelatedWork W2025571074 @default.
- W3182948686 hasRelatedWork W2056818739 @default.
- W3182948686 hasRelatedWork W2149581652 @default.
- W3182948686 hasRelatedWork W2966182976 @default.
- W3182948686 hasRelatedWork W3025563859 @default.
- W3182948686 hasRelatedWork W3043547779 @default.
- W3182948686 hasRelatedWork W3112266304 @default.
- W3182948686 hasRelatedWork W3160700379 @default.
- W3182948686 hasRelatedWork W3212503723 @default.
- W3182948686 hasVolume "31" @default.
- W3182948686 isParatext "false" @default.
- W3182948686 isRetracted "false" @default.
- W3182948686 magId "3182948686" @default.
- W3182948686 workType "article" @default.