Matches in SemOpenAlex for { <https://semopenalex.org/work/W1440394080> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W1440394080 abstract "This paper discusses a new strategy to decide Dummett logic. The strategy relies on a tableau calculus whose distinguishing features are the rules for implicative formulas. The strategy has been implemented and the experimental results are reported." @default.
- W1440394080 created "2016-06-24" @default.
- W1440394080 creator A5090594213 @default.
- W1440394080 date "2009-01-01" @default.
- W1440394080 modified "2023-09-24" @default.
- W1440394080 title "Taming Implications in Dummett Logic" @default.
- W1440394080 cites W1536217426 @default.
- W1440394080 cites W1538212964 @default.
- W1440394080 cites W1564327923 @default.
- W1440394080 cites W1964353152 @default.
- W1440394080 cites W2030232034 @default.
- W1440394080 cites W2051720582 @default.
- W1440394080 cites W2096482476 @default.
- W1440394080 cites W2110182592 @default.
- W1440394080 cites W2124047678 @default.
- W1440394080 cites W2127391555 @default.
- W1440394080 cites W2178257282 @default.
- W1440394080 cites W2512782823 @default.
- W1440394080 cites W572958226 @default.
- W1440394080 hasPublicationYear "2009" @default.
- W1440394080 type Work @default.
- W1440394080 sameAs 1440394080 @default.
- W1440394080 citedByCount "0" @default.
- W1440394080 crossrefType "journal-article" @default.
- W1440394080 hasAuthorship W1440394080A5090594213 @default.
- W1440394080 hasConcept C111472728 @default.
- W1440394080 hasConcept C138885662 @default.
- W1440394080 hasConcept C144237770 @default.
- W1440394080 hasConcept C154945302 @default.
- W1440394080 hasConcept C199343813 @default.
- W1440394080 hasConcept C2777686260 @default.
- W1440394080 hasConcept C33923547 @default.
- W1440394080 hasConcept C41008148 @default.
- W1440394080 hasConcept C71924100 @default.
- W1440394080 hasConceptScore W1440394080C111472728 @default.
- W1440394080 hasConceptScore W1440394080C138885662 @default.
- W1440394080 hasConceptScore W1440394080C144237770 @default.
- W1440394080 hasConceptScore W1440394080C154945302 @default.
- W1440394080 hasConceptScore W1440394080C199343813 @default.
- W1440394080 hasConceptScore W1440394080C2777686260 @default.
- W1440394080 hasConceptScore W1440394080C33923547 @default.
- W1440394080 hasConceptScore W1440394080C41008148 @default.
- W1440394080 hasConceptScore W1440394080C71924100 @default.
- W1440394080 hasLocation W14403940801 @default.
- W1440394080 hasOpenAccess W1440394080 @default.
- W1440394080 hasPrimaryLocation W14403940801 @default.
- W1440394080 isParatext "false" @default.
- W1440394080 isRetracted "false" @default.
- W1440394080 magId "1440394080" @default.
- W1440394080 workType "article" @default.