Matches in SemOpenAlex for { <https://semopenalex.org/work/W2848864368> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2848864368 endingPage "1" @default.
- W2848864368 startingPage "1" @default.
- W2848864368 abstract "Using the method of correspondence analysis, Tamminga obtains sound and complete natural deduction systems for all the unary and binary truth-functional extensions of Kleene’s strong three-valued logic K3 . In this paper, we extend Tamminga’s result by presenting an original finite, sound and complete proof-searching technique for all the truth-functional binary extensions of K3." @default.
- W2848864368 created "2018-07-19" @default.
- W2848864368 creator A5032808113 @default.
- W2848864368 creator A5054367511 @default.
- W2848864368 date "2018-07-06" @default.
- W2848864368 modified "2023-10-17" @default.
- W2848864368 title "Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis" @default.
- W2848864368 cites W1491709951 @default.
- W2848864368 cites W1499666987 @default.
- W2848864368 cites W1527720545 @default.
- W2848864368 cites W1544720236 @default.
- W2848864368 cites W1547852509 @default.
- W2848864368 cites W1554618854 @default.
- W2848864368 cites W1559874856 @default.
- W2848864368 cites W1564140145 @default.
- W2848864368 cites W1566632003 @default.
- W2848864368 cites W1590967062 @default.
- W2848864368 cites W1719594331 @default.
- W2848864368 cites W176031233 @default.
- W2848864368 cites W1968312462 @default.
- W2848864368 cites W1994527472 @default.
- W2848864368 cites W2034981868 @default.
- W2848864368 cites W2036869460 @default.
- W2848864368 cites W2048502195 @default.
- W2848864368 cites W2067005442 @default.
- W2848864368 cites W2069767473 @default.
- W2848864368 cites W2085956853 @default.
- W2848864368 cites W2096368704 @default.
- W2848864368 cites W2148933857 @default.
- W2848864368 cites W2152493930 @default.
- W2848864368 cites W2488544061 @default.
- W2848864368 cites W2536203890 @default.
- W2848864368 cites W2591527132 @default.
- W2848864368 cites W2599942941 @default.
- W2848864368 cites W26530055 @default.
- W2848864368 cites W2726482532 @default.
- W2848864368 cites W2727574415 @default.
- W2848864368 cites W2731010455 @default.
- W2848864368 cites W2923704166 @default.
- W2848864368 cites W33200101 @default.
- W2848864368 cites W72413812 @default.
- W2848864368 cites W9963964 @default.
- W2848864368 cites W191995933 @default.
- W2848864368 doi "https://doi.org/10.12775/llp.2018.009" @default.
- W2848864368 hasPublicationYear "2018" @default.
- W2848864368 type Work @default.
- W2848864368 sameAs 2848864368 @default.
- W2848864368 citedByCount "7" @default.
- W2848864368 countsByYear W28488643682018 @default.
- W2848864368 countsByYear W28488643682019 @default.
- W2848864368 countsByYear W28488643682021 @default.
- W2848864368 crossrefType "journal-article" @default.
- W2848864368 hasAuthorship W2848864368A5032808113 @default.
- W2848864368 hasAuthorship W2848864368A5054367511 @default.
- W2848864368 hasBestOaLocation W28488643681 @default.
- W2848864368 hasConcept C11413529 @default.
- W2848864368 hasConcept C118615104 @default.
- W2848864368 hasConcept C33923547 @default.
- W2848864368 hasConcept C41008148 @default.
- W2848864368 hasConcept C48372109 @default.
- W2848864368 hasConcept C78023250 @default.
- W2848864368 hasConcept C94375191 @default.
- W2848864368 hasConceptScore W2848864368C11413529 @default.
- W2848864368 hasConceptScore W2848864368C118615104 @default.
- W2848864368 hasConceptScore W2848864368C33923547 @default.
- W2848864368 hasConceptScore W2848864368C41008148 @default.
- W2848864368 hasConceptScore W2848864368C48372109 @default.
- W2848864368 hasConceptScore W2848864368C78023250 @default.
- W2848864368 hasConceptScore W2848864368C94375191 @default.
- W2848864368 hasLocation W28488643681 @default.
- W2848864368 hasOpenAccess W2848864368 @default.
- W2848864368 hasPrimaryLocation W28488643681 @default.
- W2848864368 hasRelatedWork W1974360440 @default.
- W2848864368 hasRelatedWork W2020658344 @default.
- W2848864368 hasRelatedWork W2035521462 @default.
- W2848864368 hasRelatedWork W2043070162 @default.
- W2848864368 hasRelatedWork W2945425490 @default.
- W2848864368 hasRelatedWork W2962833349 @default.
- W2848864368 hasRelatedWork W3196429718 @default.
- W2848864368 hasRelatedWork W3217682506 @default.
- W2848864368 hasRelatedWork W4243433229 @default.
- W2848864368 hasRelatedWork W869024478 @default.
- W2848864368 isParatext "false" @default.
- W2848864368 isRetracted "false" @default.
- W2848864368 magId "2848864368" @default.
- W2848864368 workType "article" @default.