FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065267682> ?p ?o ?g. }

• W2065267682 endingPage "65" @default.
• W2065267682 startingPage "40" @default.
• W2065267682 abstract "Formal systems of fuzzy logic (including the well-known Łukasiewicz and Gödel–Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction (an essential connective in the usual axiomatic system of fuzzy predicate logics)." @default.
• W2065267682 created "2016-06-24" @default.
• W2065267682 creator A5036484429 @default.
• W2065267682 creator A5071216071 @default.
• W2065267682 creator A5073348949 @default.
• W2065267682 date "2007-12-01" @default.
• W2065267682 modified "2023-10-14" @default.
• W2065267682 title "Formal systems of fuzzy logic and their fragments" @default.
• W2065267682 cites W1511669762 @default.
• W2065267682 cites W1602192439 @default.
• W2065267682 cites W1608894631 @default.
• W2065267682 cites W1972451186 @default.
• W2065267682 cites W1979275301 @default.
• W2065267682 cites W1980619476 @default.
• W2065267682 cites W1983382657 @default.
• W2065267682 cites W1988838565 @default.
• W2065267682 cites W1989030813 @default.
• W2065267682 cites W1990470938 @default.
• W2065267682 cites W2000922072 @default.
• W2065267682 cites W2007148072 @default.
• W2065267682 cites W2018957484 @default.
• W2065267682 cites W2024065710 @default.
• W2065267682 cites W2028929370 @default.
• W2065267682 cites W2029541175 @default.
• W2065267682 cites W2043389664 @default.
• W2065267682 cites W2052913890 @default.
• W2065267682 cites W2055011182 @default.
• W2065267682 cites W2059943621 @default.
• W2065267682 cites W2083174445 @default.
• W2065267682 cites W2090815958 @default.
• W2065267682 cites W2092184248 @default.
• W2065267682 cites W2096482476 @default.
• W2065267682 cites W2100783870 @default.
• W2065267682 cites W2154114798 @default.
• W2065267682 cites W2168541099 @default.
• W2065267682 cites W4246378692 @default.
• W2065267682 doi "https://doi.org/10.1016/j.apal.2007.09.002" @default.
• W2065267682 hasPublicationYear "2007" @default.
• W2065267682 type Work @default.
• W2065267682 sameAs 2065267682 @default.
• W2065267682 citedByCount "31" @default.
• W2065267682 countsByYear W20652676822012 @default.
• W2065267682 countsByYear W20652676822013 @default.
• W2065267682 countsByYear W20652676822014 @default.
• W2065267682 countsByYear W20652676822015 @default.
• W2065267682 countsByYear W20652676822016 @default.
• W2065267682 countsByYear W20652676822019 @default.
• W2065267682 countsByYear W20652676822022 @default.
• W2065267682 crossrefType "journal-article" @default.
• W2065267682 hasAuthorship W2065267682A5036484429 @default.
• W2065267682 hasAuthorship W2065267682A5071216071 @default.
• W2065267682 hasAuthorship W2065267682A5073348949 @default.
• W2065267682 hasBestOaLocation W20652676821 @default.
• W2065267682 hasConcept C102993220 @default.
• W2065267682 hasConcept C118615104 @default.
• W2065267682 hasConcept C125773388 @default.
• W2065267682 hasConcept C134306372 @default.
• W2065267682 hasConcept C134752490 @default.
• W2065267682 hasConcept C136119220 @default.
• W2065267682 hasConcept C140146324 @default.
• W2065267682 hasConcept C144760519 @default.
• W2065267682 hasConcept C150889026 @default.
• W2065267682 hasConcept C154945302 @default.
• W2065267682 hasConcept C167729594 @default.
• W2065267682 hasConcept C16796852 @default.
• W2065267682 hasConcept C169896238 @default.
• W2065267682 hasConcept C1883856 @default.
• W2065267682 hasConcept C19689857 @default.
• W2065267682 hasConcept C199360897 @default.
• W2065267682 hasConcept C202444582 @default.
• W2065267682 hasConcept C206321295 @default.
• W2065267682 hasConcept C2524010 @default.
• W2065267682 hasConcept C32241873 @default.
• W2065267682 hasConcept C33923547 @default.
• W2065267682 hasConcept C41008148 @default.
• W2065267682 hasConcept C42011625 @default.
• W2065267682 hasConcept C58166 @default.
• W2065267682 hasConcept C70710897 @default.
• W2065267682 hasConcept C74992188 @default.
• W2065267682 hasConcept C80444323 @default.
• W2065267682 hasConcept C86602344 @default.
• W2065267682 hasConcept C98224912 @default.
• W2065267682 hasConceptScore W2065267682C102993220 @default.
• W2065267682 hasConceptScore W2065267682C118615104 @default.
• W2065267682 hasConceptScore W2065267682C125773388 @default.
• W2065267682 hasConceptScore W2065267682C134306372 @default.
• W2065267682 hasConceptScore W2065267682C134752490 @default.
• W2065267682 hasConceptScore W2065267682C136119220 @default.
• W2065267682 hasConceptScore W2065267682C140146324 @default.
• W2065267682 hasConceptScore W2065267682C144760519 @default.
• W2065267682 hasConceptScore W2065267682C150889026 @default.
• W2065267682 hasConceptScore W2065267682C154945302 @default.
• W2065267682 hasConceptScore W2065267682C167729594 @default.
• W2065267682 hasConceptScore W2065267682C16796852 @default.
• W2065267682 hasConceptScore W2065267682C169896238 @default.
• W2065267682 hasConceptScore W2065267682C1883856 @default.
• W2065267682 hasConceptScore W2065267682C19689857 @default.
• W2065267682 hasConceptScore W2065267682C199360897 @default.

• next