Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100227666> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3100227666 abstract "This paper employs the linear nested sequent framework to design a new cut-free calculus LNIF for intuitionistic fuzzy logic--the first-order Godel logic characterized by linear relational frames with constant domains. Linear nested sequents--which are nested sequents restricted to linear structures--prove to be a well-suited proof-theoretic formalism for intuitionistic fuzzy logic. We show that the calculus LNIF possesses highly desirable proof-theoretic properties such as invertibility of all rules, admissibility of structural rules, and syntactic cut-elimination." @default.
- W3100227666 created "2020-11-23" @default.
- W3100227666 creator A5045993299 @default.
- W3100227666 date "2019-12-20" @default.
- W3100227666 modified "2023-09-25" @default.
- W3100227666 title "Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents" @default.
- W3100227666 cites W1503413362 @default.
- W3100227666 cites W1611875164 @default.
- W3100227666 cites W1970249071 @default.
- W3100227666 cites W1971043428 @default.
- W3100227666 cites W1985274317 @default.
- W3100227666 cites W2009791150 @default.
- W3100227666 cites W2015175446 @default.
- W3100227666 cites W2023557900 @default.
- W3100227666 cites W2074551833 @default.
- W3100227666 cites W2082736027 @default.
- W3100227666 cites W2087640560 @default.
- W3100227666 cites W2096482476 @default.
- W3100227666 cites W2110182592 @default.
- W3100227666 cites W2156693798 @default.
- W3100227666 cites W2164133707 @default.
- W3100227666 cites W2185933163 @default.
- W3100227666 cites W3098256803 @default.
- W3100227666 cites W4238292764 @default.
- W3100227666 cites W4248156396 @default.
- W3100227666 cites W2140826798 @default.
- W3100227666 doi "https://doi.org/10.1007/978-3-030-36755-8_11" @default.
- W3100227666 hasPublicationYear "2019" @default.
- W3100227666 type Work @default.
- W3100227666 sameAs 3100227666 @default.
- W3100227666 citedByCount "0" @default.
- W3100227666 crossrefType "book-chapter" @default.
- W3100227666 hasAuthorship W3100227666A5045993299 @default.
- W3100227666 hasBestOaLocation W31002276662 @default.
- W3100227666 hasConcept C108710211 @default.
- W3100227666 hasConcept C11413529 @default.
- W3100227666 hasConcept C118615104 @default.
- W3100227666 hasConcept C136119220 @default.
- W3100227666 hasConcept C142362112 @default.
- W3100227666 hasConcept C153349607 @default.
- W3100227666 hasConcept C154945302 @default.
- W3100227666 hasConcept C199343813 @default.
- W3100227666 hasConcept C202444582 @default.
- W3100227666 hasConcept C2318724 @default.
- W3100227666 hasConcept C2524010 @default.
- W3100227666 hasConcept C2777686260 @default.
- W3100227666 hasConcept C28077239 @default.
- W3100227666 hasConcept C33923547 @default.
- W3100227666 hasConcept C41008148 @default.
- W3100227666 hasConcept C558565934 @default.
- W3100227666 hasConcept C58166 @default.
- W3100227666 hasConcept C6489637 @default.
- W3100227666 hasConcept C65880906 @default.
- W3100227666 hasConcept C71924100 @default.
- W3100227666 hasConcept C73301696 @default.
- W3100227666 hasConcept C80444323 @default.
- W3100227666 hasConcept C89421646 @default.
- W3100227666 hasConceptScore W3100227666C108710211 @default.
- W3100227666 hasConceptScore W3100227666C11413529 @default.
- W3100227666 hasConceptScore W3100227666C118615104 @default.
- W3100227666 hasConceptScore W3100227666C136119220 @default.
- W3100227666 hasConceptScore W3100227666C142362112 @default.
- W3100227666 hasConceptScore W3100227666C153349607 @default.
- W3100227666 hasConceptScore W3100227666C154945302 @default.
- W3100227666 hasConceptScore W3100227666C199343813 @default.
- W3100227666 hasConceptScore W3100227666C202444582 @default.
- W3100227666 hasConceptScore W3100227666C2318724 @default.
- W3100227666 hasConceptScore W3100227666C2524010 @default.
- W3100227666 hasConceptScore W3100227666C2777686260 @default.
- W3100227666 hasConceptScore W3100227666C28077239 @default.
- W3100227666 hasConceptScore W3100227666C33923547 @default.
- W3100227666 hasConceptScore W3100227666C41008148 @default.
- W3100227666 hasConceptScore W3100227666C558565934 @default.
- W3100227666 hasConceptScore W3100227666C58166 @default.
- W3100227666 hasConceptScore W3100227666C6489637 @default.
- W3100227666 hasConceptScore W3100227666C65880906 @default.
- W3100227666 hasConceptScore W3100227666C71924100 @default.
- W3100227666 hasConceptScore W3100227666C73301696 @default.
- W3100227666 hasConceptScore W3100227666C80444323 @default.
- W3100227666 hasConceptScore W3100227666C89421646 @default.
- W3100227666 hasLocation W31002276661 @default.
- W3100227666 hasLocation W31002276662 @default.
- W3100227666 hasOpenAccess W3100227666 @default.
- W3100227666 hasPrimaryLocation W31002276661 @default.
- W3100227666 hasRelatedWork W1492421865 @default.
- W3100227666 hasRelatedWork W1987945064 @default.
- W3100227666 hasRelatedWork W2009791150 @default.
- W3100227666 hasRelatedWork W2013199089 @default.
- W3100227666 hasRelatedWork W2134137673 @default.
- W3100227666 hasRelatedWork W2163170048 @default.
- W3100227666 hasRelatedWork W2210298890 @default.
- W3100227666 hasRelatedWork W2513857873 @default.
- W3100227666 hasRelatedWork W2603452578 @default.
- W3100227666 hasRelatedWork W2793983771 @default.
- W3100227666 isParatext "false" @default.
- W3100227666 isRetracted "false" @default.
- W3100227666 magId "3100227666" @default.
- W3100227666 workType "book-chapter" @default.