Matches in SemOpenAlex for { <https://semopenalex.org/work/W2245367736> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2245367736 abstract "In this work we investigate bounded Lukasiewicz logics}, characterised as the intersection of the k-valued Lukasiewicz logics for k = 2, ..., n (n ≥ 2). These logics formalise a generalisation of Ulam’s game with applications in Information Theory. Here we provide an analytic proof calculus GŁ B n for each bounded Lukasiewicz logic, obtained by adding a single rule to GŁ, a hypersequent calculus for Lukasiewicz infinite-valued logic. We give a first cut-elimination proof for GL with (suitable forms of) cut rules. We then prove completeness for GŁ B n with cut and show that cut can also be eliminated in this case." @default.
- W2245367736 created "2016-06-24" @default.
- W2245367736 creator A5038446877 @default.
- W2245367736 creator A5086733054 @default.
- W2245367736 date "2003-01-01" @default.
- W2245367736 modified "2023-09-24" @default.
- W2245367736 title "Bounded Łukasiewicz Logics" @default.
- W2245367736 cites W1503409543 @default.
- W2245367736 cites W1566552629 @default.
- W2245367736 cites W1679470533 @default.
- W2245367736 cites W1989632075 @default.
- W2245367736 cites W1990470938 @default.
- W2245367736 cites W2001730565 @default.
- W2245367736 cites W2012072427 @default.
- W2245367736 cites W2110182592 @default.
- W2245367736 cites W2131306093 @default.
- W2245367736 cites W4211007335 @default.
- W2245367736 cites W88226075 @default.
- W2245367736 doi "https://doi.org/10.1007/978-3-540-45206-5_6" @default.
- W2245367736 hasPublicationYear "2003" @default.
- W2245367736 type Work @default.
- W2245367736 sameAs 2245367736 @default.
- W2245367736 citedByCount "5" @default.
- W2245367736 countsByYear W22453677362019 @default.
- W2245367736 crossrefType "book-chapter" @default.
- W2245367736 hasAuthorship W2245367736A5038446877 @default.
- W2245367736 hasAuthorship W2245367736A5086733054 @default.
- W2245367736 hasConcept C102993220 @default.
- W2245367736 hasConcept C118615104 @default.
- W2245367736 hasConcept C127413603 @default.
- W2245367736 hasConcept C134306372 @default.
- W2245367736 hasConcept C136119220 @default.
- W2245367736 hasConcept C144760519 @default.
- W2245367736 hasConcept C146978453 @default.
- W2245367736 hasConcept C150889026 @default.
- W2245367736 hasConcept C154945302 @default.
- W2245367736 hasConcept C17231256 @default.
- W2245367736 hasConcept C1883856 @default.
- W2245367736 hasConcept C199343813 @default.
- W2245367736 hasConcept C202444582 @default.
- W2245367736 hasConcept C206321295 @default.
- W2245367736 hasConcept C2777686260 @default.
- W2245367736 hasConcept C33923547 @default.
- W2245367736 hasConcept C34388435 @default.
- W2245367736 hasConcept C41008148 @default.
- W2245367736 hasConcept C42011625 @default.
- W2245367736 hasConcept C5263885 @default.
- W2245367736 hasConcept C58166 @default.
- W2245367736 hasConcept C64543145 @default.
- W2245367736 hasConcept C71924100 @default.
- W2245367736 hasConcept C80444323 @default.
- W2245367736 hasConcept C86602344 @default.
- W2245367736 hasConcept C98224912 @default.
- W2245367736 hasConceptScore W2245367736C102993220 @default.
- W2245367736 hasConceptScore W2245367736C118615104 @default.
- W2245367736 hasConceptScore W2245367736C127413603 @default.
- W2245367736 hasConceptScore W2245367736C134306372 @default.
- W2245367736 hasConceptScore W2245367736C136119220 @default.
- W2245367736 hasConceptScore W2245367736C144760519 @default.
- W2245367736 hasConceptScore W2245367736C146978453 @default.
- W2245367736 hasConceptScore W2245367736C150889026 @default.
- W2245367736 hasConceptScore W2245367736C154945302 @default.
- W2245367736 hasConceptScore W2245367736C17231256 @default.
- W2245367736 hasConceptScore W2245367736C1883856 @default.
- W2245367736 hasConceptScore W2245367736C199343813 @default.
- W2245367736 hasConceptScore W2245367736C202444582 @default.
- W2245367736 hasConceptScore W2245367736C206321295 @default.
- W2245367736 hasConceptScore W2245367736C2777686260 @default.
- W2245367736 hasConceptScore W2245367736C33923547 @default.
- W2245367736 hasConceptScore W2245367736C34388435 @default.
- W2245367736 hasConceptScore W2245367736C41008148 @default.
- W2245367736 hasConceptScore W2245367736C42011625 @default.
- W2245367736 hasConceptScore W2245367736C5263885 @default.
- W2245367736 hasConceptScore W2245367736C58166 @default.
- W2245367736 hasConceptScore W2245367736C64543145 @default.
- W2245367736 hasConceptScore W2245367736C71924100 @default.
- W2245367736 hasConceptScore W2245367736C80444323 @default.
- W2245367736 hasConceptScore W2245367736C86602344 @default.
- W2245367736 hasConceptScore W2245367736C98224912 @default.
- W2245367736 hasLocation W22453677361 @default.
- W2245367736 hasOpenAccess W2245367736 @default.
- W2245367736 hasPrimaryLocation W22453677361 @default.
- W2245367736 hasRelatedWork W1968551504 @default.
- W2245367736 hasRelatedWork W197500586 @default.
- W2245367736 hasRelatedWork W2057623054 @default.
- W2245367736 hasRelatedWork W2057795281 @default.
- W2245367736 hasRelatedWork W2371447506 @default.
- W2245367736 hasRelatedWork W2386767533 @default.
- W2245367736 hasRelatedWork W2533998207 @default.
- W2245367736 hasRelatedWork W2748952813 @default.
- W2245367736 hasRelatedWork W2996871351 @default.
- W2245367736 hasRelatedWork W657818131 @default.
- W2245367736 isParatext "false" @default.
- W2245367736 isRetracted "false" @default.
- W2245367736 magId "2245367736" @default.
- W2245367736 workType "book-chapter" @default.