Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579910356> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1579910356 abstract "In this paper, we define new decision procedures forŁukasiewicz logics. They are based on particularinteger-labelled hypersequents and of logical proof rules for suchhypersequents. These rules being proved strongly invertible ourprocedures naturally allow one to generate countermodels. Fromthese results we define a merge-free calculus for the infiniteversion of Łukasiewicz logic and prove that it satisfies thesub-formula property. Finally we also propose for this logic a newterminating calculus by using a focusing technique." @default.
- W1579910356 created "2016-06-24" @default.
- W1579910356 creator A5031692169 @default.
- W1579910356 creator A5071193451 @default.
- W1579910356 date "2008-01-01" @default.
- W1579910356 modified "2023-10-10" @default.
- W1579910356 title "Labelled Calculi for Łukasiewicz Logics" @default.
- W1579910356 cites W1574843523 @default.
- W1579910356 cites W2001730565 @default.
- W1579910356 cites W2013088431 @default.
- W1579910356 cites W2014030742 @default.
- W1579910356 cites W2051720582 @default.
- W1579910356 cites W2088476380 @default.
- W1579910356 cites W2110182592 @default.
- W1579910356 cites W2110802658 @default.
- W1579910356 cites W2114225134 @default.
- W1579910356 cites W2114979222 @default.
- W1579910356 cites W2131739376 @default.
- W1579910356 cites W2245367736 @default.
- W1579910356 doi "https://doi.org/10.1007/978-3-540-69937-8_17" @default.
- W1579910356 hasPublicationYear "2008" @default.
- W1579910356 type Work @default.
- W1579910356 sameAs 1579910356 @default.
- W1579910356 citedByCount "0" @default.
- W1579910356 crossrefType "book-chapter" @default.
- W1579910356 hasAuthorship W1579910356A5031692169 @default.
- W1579910356 hasAuthorship W1579910356A5071193451 @default.
- W1579910356 hasConcept C102993220 @default.
- W1579910356 hasConcept C111472728 @default.
- W1579910356 hasConcept C11413529 @default.
- W1579910356 hasConcept C136119220 @default.
- W1579910356 hasConcept C138885662 @default.
- W1579910356 hasConcept C144760519 @default.
- W1579910356 hasConcept C150889026 @default.
- W1579910356 hasConcept C189950617 @default.
- W1579910356 hasConcept C197129107 @default.
- W1579910356 hasConcept C199343813 @default.
- W1579910356 hasConcept C202444582 @default.
- W1579910356 hasConcept C206321295 @default.
- W1579910356 hasConcept C23123220 @default.
- W1579910356 hasConcept C2777686260 @default.
- W1579910356 hasConcept C33923547 @default.
- W1579910356 hasConcept C41008148 @default.
- W1579910356 hasConcept C71924100 @default.
- W1579910356 hasConcept C80444323 @default.
- W1579910356 hasConcept C96442724 @default.
- W1579910356 hasConceptScore W1579910356C102993220 @default.
- W1579910356 hasConceptScore W1579910356C111472728 @default.
- W1579910356 hasConceptScore W1579910356C11413529 @default.
- W1579910356 hasConceptScore W1579910356C136119220 @default.
- W1579910356 hasConceptScore W1579910356C138885662 @default.
- W1579910356 hasConceptScore W1579910356C144760519 @default.
- W1579910356 hasConceptScore W1579910356C150889026 @default.
- W1579910356 hasConceptScore W1579910356C189950617 @default.
- W1579910356 hasConceptScore W1579910356C197129107 @default.
- W1579910356 hasConceptScore W1579910356C199343813 @default.
- W1579910356 hasConceptScore W1579910356C202444582 @default.
- W1579910356 hasConceptScore W1579910356C206321295 @default.
- W1579910356 hasConceptScore W1579910356C23123220 @default.
- W1579910356 hasConceptScore W1579910356C2777686260 @default.
- W1579910356 hasConceptScore W1579910356C33923547 @default.
- W1579910356 hasConceptScore W1579910356C41008148 @default.
- W1579910356 hasConceptScore W1579910356C71924100 @default.
- W1579910356 hasConceptScore W1579910356C80444323 @default.
- W1579910356 hasConceptScore W1579910356C96442724 @default.
- W1579910356 hasLocation W15799103561 @default.
- W1579910356 hasOpenAccess W1579910356 @default.
- W1579910356 hasPrimaryLocation W15799103561 @default.
- W1579910356 hasRelatedWork W1207816824 @default.
- W1579910356 hasRelatedWork W1533537820 @default.
- W1579910356 hasRelatedWork W1544720236 @default.
- W1579910356 hasRelatedWork W1556405590 @default.
- W1579910356 hasRelatedWork W1563887142 @default.
- W1579910356 hasRelatedWork W1601726121 @default.
- W1579910356 hasRelatedWork W2037991894 @default.
- W1579910356 hasRelatedWork W2277984344 @default.
- W1579910356 hasRelatedWork W2565004881 @default.
- W1579910356 hasRelatedWork W2605178286 @default.
- W1579910356 hasRelatedWork W2620960216 @default.
- W1579910356 hasRelatedWork W2765563486 @default.
- W1579910356 hasRelatedWork W2780544470 @default.
- W1579910356 hasRelatedWork W2799457203 @default.
- W1579910356 hasRelatedWork W2803797730 @default.
- W1579910356 hasRelatedWork W2952148645 @default.
- W1579910356 hasRelatedWork W2953366832 @default.
- W1579910356 hasRelatedWork W2963594335 @default.
- W1579910356 hasRelatedWork W3033912683 @default.
- W1579910356 hasRelatedWork W3098350441 @default.
- W1579910356 isParatext "false" @default.
- W1579910356 isRetracted "false" @default.
- W1579910356 magId "1579910356" @default.
- W1579910356 workType "book-chapter" @default.