Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965828305> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1965828305 endingPage "97" @default.
- W1965828305 startingPage "67" @default.
- W1965828305 abstract "In this paper we present two terminating tableau calculi for propositional Dummett logic obeying the subformula property. The ideas of our calculi rely on the linearly ordered Kripke semantics of Dummett logic. The first calculus works on two semantical levels: the present and the next possible world. The second calculus employs the semantical levels of known or not known at the present state of knowledge, that are usual in tableau systems, and exploits a property of the construction of the completeness theorem to introduce a check which is an alternative to loop check mechanisms." @default.
- W1965828305 created "2016-06-24" @default.
- W1965828305 creator A5090594213 @default.
- W1965828305 date "2013-03-02" @default.
- W1965828305 modified "2023-09-26" @default.
- W1965828305 title "Terminating Calculi for Propositional Dummett Logic with Subformula Property" @default.
- W1965828305 cites W1479710971 @default.
- W1965828305 cites W1538212964 @default.
- W1965828305 cites W1964353152 @default.
- W1965828305 cites W1971314708 @default.
- W1965828305 cites W1991500340 @default.
- W1965828305 cites W2015175446 @default.
- W1965828305 cites W2030232034 @default.
- W1965828305 cites W2033088754 @default.
- W1965828305 cites W2037330115 @default.
- W1965828305 cites W2071547211 @default.
- W1965828305 cites W2106490090 @default.
- W1965828305 cites W2110182592 @default.
- W1965828305 cites W2124047678 @default.
- W1965828305 cites W2178257282 @default.
- W1965828305 cites W4210866997 @default.
- W1965828305 cites W934952615 @default.
- W1965828305 doi "https://doi.org/10.1007/s10817-013-9276-7" @default.
- W1965828305 hasPublicationYear "2013" @default.
- W1965828305 type Work @default.
- W1965828305 sameAs 1965828305 @default.
- W1965828305 citedByCount "5" @default.
- W1965828305 countsByYear W19658283052015 @default.
- W1965828305 countsByYear W19658283052016 @default.
- W1965828305 countsByYear W19658283052021 @default.
- W1965828305 countsByYear W19658283052022 @default.
- W1965828305 crossrefType "journal-article" @default.
- W1965828305 hasAuthorship W1965828305A5090594213 @default.
- W1965828305 hasBestOaLocation W19658283052 @default.
- W1965828305 hasConcept C102993220 @default.
- W1965828305 hasConcept C110039528 @default.
- W1965828305 hasConcept C111472728 @default.
- W1965828305 hasConcept C118615104 @default.
- W1965828305 hasConcept C134306372 @default.
- W1965828305 hasConcept C138885662 @default.
- W1965828305 hasConcept C14523651 @default.
- W1965828305 hasConcept C159333733 @default.
- W1965828305 hasConcept C17231256 @default.
- W1965828305 hasConcept C178421362 @default.
- W1965828305 hasConcept C189950617 @default.
- W1965828305 hasConcept C199343813 @default.
- W1965828305 hasConcept C199360897 @default.
- W1965828305 hasConcept C203659156 @default.
- W1965828305 hasConcept C2777686260 @default.
- W1965828305 hasConcept C33203268 @default.
- W1965828305 hasConcept C33923547 @default.
- W1965828305 hasConcept C41008148 @default.
- W1965828305 hasConcept C69562738 @default.
- W1965828305 hasConcept C71924100 @default.
- W1965828305 hasConcept C80444323 @default.
- W1965828305 hasConceptScore W1965828305C102993220 @default.
- W1965828305 hasConceptScore W1965828305C110039528 @default.
- W1965828305 hasConceptScore W1965828305C111472728 @default.
- W1965828305 hasConceptScore W1965828305C118615104 @default.
- W1965828305 hasConceptScore W1965828305C134306372 @default.
- W1965828305 hasConceptScore W1965828305C138885662 @default.
- W1965828305 hasConceptScore W1965828305C14523651 @default.
- W1965828305 hasConceptScore W1965828305C159333733 @default.
- W1965828305 hasConceptScore W1965828305C17231256 @default.
- W1965828305 hasConceptScore W1965828305C178421362 @default.
- W1965828305 hasConceptScore W1965828305C189950617 @default.
- W1965828305 hasConceptScore W1965828305C199343813 @default.
- W1965828305 hasConceptScore W1965828305C199360897 @default.
- W1965828305 hasConceptScore W1965828305C203659156 @default.
- W1965828305 hasConceptScore W1965828305C2777686260 @default.
- W1965828305 hasConceptScore W1965828305C33203268 @default.
- W1965828305 hasConceptScore W1965828305C33923547 @default.
- W1965828305 hasConceptScore W1965828305C41008148 @default.
- W1965828305 hasConceptScore W1965828305C69562738 @default.
- W1965828305 hasConceptScore W1965828305C71924100 @default.
- W1965828305 hasConceptScore W1965828305C80444323 @default.
- W1965828305 hasIssue "1" @default.
- W1965828305 hasLocation W19658283051 @default.
- W1965828305 hasLocation W19658283052 @default.
- W1965828305 hasLocation W19658283053 @default.
- W1965828305 hasOpenAccess W1965828305 @default.
- W1965828305 hasPrimaryLocation W19658283051 @default.
- W1965828305 hasRelatedWork W1859649522 @default.
- W1965828305 hasRelatedWork W1951369434 @default.
- W1965828305 hasRelatedWork W1965828305 @default.
- W1965828305 hasRelatedWork W2014565657 @default.
- W1965828305 hasRelatedWork W2045432969 @default.
- W1965828305 hasRelatedWork W2074283846 @default.
- W1965828305 hasRelatedWork W2297035263 @default.
- W1965828305 hasRelatedWork W2502080888 @default.
- W1965828305 hasRelatedWork W4285491326 @default.
- W1965828305 hasRelatedWork W4293502065 @default.
- W1965828305 hasVolume "52" @default.
- W1965828305 isParatext "false" @default.
- W1965828305 isRetracted "false" @default.
- W1965828305 magId "1965828305" @default.
- W1965828305 workType "article" @default.