Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904804935> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2904804935 abstract "From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued {L}ukasiewicz logic and for first-order rational Pavelka logic with each other and with H'ajek's Hilbert-type calculi for these logics. The key aspect of our comparison is a density elimination proof for one of the hypersequent calculi considered." @default.
- W2904804935 created "2018-12-22" @default.
- W2904804935 creator A5077554408 @default.
- W2904804935 date "2018-12-13" @default.
- W2904804935 modified "2023-09-27" @default.
- W2904804935 title "Comparing several calculi for first-order infinite-valued Łukasiewicz logic." @default.
- W2904804935 cites W1966718868 @default.
- W2904804935 cites W1993481785 @default.
- W2904804935 cites W2060401660 @default.
- W2904804935 cites W2096719339 @default.
- W2904804935 cites W2112664318 @default.
- W2904804935 cites W2156693798 @default.
- W2904804935 cites W2188802573 @default.
- W2904804935 cites W2502870360 @default.
- W2904804935 cites W2567733 @default.
- W2904804935 cites W2749512893 @default.
- W2904804935 cites W37690025 @default.
- W2904804935 cites W882070095 @default.
- W2904804935 hasPublicationYear "2018" @default.
- W2904804935 type Work @default.
- W2904804935 sameAs 2904804935 @default.
- W2904804935 citedByCount "0" @default.
- W2904804935 crossrefType "posted-content" @default.
- W2904804935 hasAuthorship W2904804935A5077554408 @default.
- W2904804935 hasConcept C10138342 @default.
- W2904804935 hasConcept C102993220 @default.
- W2904804935 hasConcept C118615104 @default.
- W2904804935 hasConcept C136119220 @default.
- W2904804935 hasConcept C144133560 @default.
- W2904804935 hasConcept C144760519 @default.
- W2904804935 hasConcept C154945302 @default.
- W2904804935 hasConcept C169896238 @default.
- W2904804935 hasConcept C182306322 @default.
- W2904804935 hasConcept C18903297 @default.
- W2904804935 hasConcept C199343813 @default.
- W2904804935 hasConcept C202444582 @default.
- W2904804935 hasConcept C206321295 @default.
- W2904804935 hasConcept C26517878 @default.
- W2904804935 hasConcept C2777299769 @default.
- W2904804935 hasConcept C2777686260 @default.
- W2904804935 hasConcept C28826006 @default.
- W2904804935 hasConcept C2987642246 @default.
- W2904804935 hasConcept C33923547 @default.
- W2904804935 hasConcept C38652104 @default.
- W2904804935 hasConcept C41008148 @default.
- W2904804935 hasConcept C71924100 @default.
- W2904804935 hasConcept C86803240 @default.
- W2904804935 hasConceptScore W2904804935C10138342 @default.
- W2904804935 hasConceptScore W2904804935C102993220 @default.
- W2904804935 hasConceptScore W2904804935C118615104 @default.
- W2904804935 hasConceptScore W2904804935C136119220 @default.
- W2904804935 hasConceptScore W2904804935C144133560 @default.
- W2904804935 hasConceptScore W2904804935C144760519 @default.
- W2904804935 hasConceptScore W2904804935C154945302 @default.
- W2904804935 hasConceptScore W2904804935C169896238 @default.
- W2904804935 hasConceptScore W2904804935C182306322 @default.
- W2904804935 hasConceptScore W2904804935C18903297 @default.
- W2904804935 hasConceptScore W2904804935C199343813 @default.
- W2904804935 hasConceptScore W2904804935C202444582 @default.
- W2904804935 hasConceptScore W2904804935C206321295 @default.
- W2904804935 hasConceptScore W2904804935C26517878 @default.
- W2904804935 hasConceptScore W2904804935C2777299769 @default.
- W2904804935 hasConceptScore W2904804935C2777686260 @default.
- W2904804935 hasConceptScore W2904804935C28826006 @default.
- W2904804935 hasConceptScore W2904804935C2987642246 @default.
- W2904804935 hasConceptScore W2904804935C33923547 @default.
- W2904804935 hasConceptScore W2904804935C38652104 @default.
- W2904804935 hasConceptScore W2904804935C41008148 @default.
- W2904804935 hasConceptScore W2904804935C71924100 @default.
- W2904804935 hasConceptScore W2904804935C86803240 @default.
- W2904804935 hasLocation W29048049351 @default.
- W2904804935 hasOpenAccess W2904804935 @default.
- W2904804935 hasPrimaryLocation W29048049351 @default.
- W2904804935 hasRelatedWork W142105915 @default.
- W2904804935 hasRelatedWork W1502488001 @default.
- W2904804935 hasRelatedWork W1504271387 @default.
- W2904804935 hasRelatedWork W1963559850 @default.
- W2904804935 hasRelatedWork W1974160553 @default.
- W2904804935 hasRelatedWork W1984315394 @default.
- W2904804935 hasRelatedWork W2017604798 @default.
- W2904804935 hasRelatedWork W2019341195 @default.
- W2904804935 hasRelatedWork W2026099031 @default.
- W2904804935 hasRelatedWork W2044844988 @default.
- W2904804935 hasRelatedWork W2060401660 @default.
- W2904804935 hasRelatedWork W2073932447 @default.
- W2904804935 hasRelatedWork W2154006907 @default.
- W2904804935 hasRelatedWork W2177991821 @default.
- W2904804935 hasRelatedWork W2277396649 @default.
- W2904804935 hasRelatedWork W2483597816 @default.
- W2904804935 hasRelatedWork W2790151031 @default.
- W2904804935 hasRelatedWork W2949968785 @default.
- W2904804935 hasRelatedWork W3163600098 @default.
- W2904804935 hasRelatedWork W2529234164 @default.
- W2904804935 isParatext "false" @default.
- W2904804935 isRetracted "false" @default.
- W2904804935 magId "2904804935" @default.
- W2904804935 workType "article" @default.