Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022105448> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2022105448 abstract "In this paper a sound and complete tableau system for the Rational Pavelka Logic is introduced. The completeness is proved thanks to fuzzy hilbertian system formulated by Hajek. A fuzzy tableau cut rule is introduced but a cut elimination theorem is proved." @default.
- W2022105448 created "2016-06-24" @default.
- W2022105448 creator A5027521486 @default.
- W2022105448 date "2002-07-15" @default.
- W2022105448 modified "2023-09-25" @default.
- W2022105448 title "Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic" @default.
- W2022105448 cites W1570374618 @default.
- W2022105448 cites W1966321785 @default.
- W2022105448 cites W1997196510 @default.
- W2022105448 cites W2025952124 @default.
- W2022105448 cites W2039977878 @default.
- W2022105448 cites W2089576639 @default.
- W2022105448 cites W2143810536 @default.
- W2022105448 cites W2496338429 @default.
- W2022105448 cites W3296631 @default.
- W2022105448 cites W4233253115 @default.
- W2022105448 cites W4301968143 @default.
- W2022105448 doi "https://doi.org/10.1145/568760.568783" @default.
- W2022105448 hasPublicationYear "2002" @default.
- W2022105448 type Work @default.
- W2022105448 sameAs 2022105448 @default.
- W2022105448 citedByCount "0" @default.
- W2022105448 crossrefType "proceedings-article" @default.
- W2022105448 hasAuthorship W2022105448A5027521486 @default.
- W2022105448 hasConcept C11413529 @default.
- W2022105448 hasConcept C154945302 @default.
- W2022105448 hasConcept C33923547 @default.
- W2022105448 hasConcept C41008148 @default.
- W2022105448 hasConcept C58166 @default.
- W2022105448 hasConcept C94375191 @default.
- W2022105448 hasConceptScore W2022105448C11413529 @default.
- W2022105448 hasConceptScore W2022105448C154945302 @default.
- W2022105448 hasConceptScore W2022105448C33923547 @default.
- W2022105448 hasConceptScore W2022105448C41008148 @default.
- W2022105448 hasConceptScore W2022105448C58166 @default.
- W2022105448 hasConceptScore W2022105448C94375191 @default.
- W2022105448 hasLocation W20221054481 @default.
- W2022105448 hasOpenAccess W2022105448 @default.
- W2022105448 hasPrimaryLocation W20221054481 @default.
- W2022105448 hasRelatedWork W2135173043 @default.
- W2022105448 hasRelatedWork W2333698505 @default.
- W2022105448 hasRelatedWork W2335699373 @default.
- W2022105448 hasRelatedWork W2351491280 @default.
- W2022105448 hasRelatedWork W2371447506 @default.
- W2022105448 hasRelatedWork W2386767533 @default.
- W2022105448 hasRelatedWork W241866648 @default.
- W2022105448 hasRelatedWork W2963339245 @default.
- W2022105448 hasRelatedWork W303980170 @default.
- W2022105448 hasRelatedWork W3107474891 @default.
- W2022105448 isParatext "false" @default.
- W2022105448 isRetracted "false" @default.
- W2022105448 magId "2022105448" @default.
- W2022105448 workType "article" @default.