Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946908180> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2946908180 abstract "We establish a categorical duality for the finitely generated Lindenbaum-Tarski algebras of propositional nilpotent minimum logic. The latter's conjunction is semantically interpreted by a left-continuous (but not continuous) triangular norm; implication is obtained through residuation. Our duality allows one to transfer to nilpotent minimum logic several known results about inutitionistic logic with the prelineari-ty axiom (also called G{o}del-Dummett logic), mutatis mutandis. We give several such applications.Published: Journal of Logic and Computation 17 (2007), 749-765." @default.
- W2946908180 created "2019-06-07" @default.
- W2946908180 creator A5011161376 @default.
- W2946908180 creator A5016394608 @default.
- W2946908180 creator A5039757989 @default.
- W2946908180 date "2007-01-01" @default.
- W2946908180 modified "2023-09-27" @default.
- W2946908180 title "Spectral duality for finitely generated nilpotent minimum algebras, with applications" @default.
- W2946908180 hasPublicationYear "2007" @default.
- W2946908180 type Work @default.
- W2946908180 sameAs 2946908180 @default.
- W2946908180 citedByCount "0" @default.
- W2946908180 crossrefType "journal-article" @default.
- W2946908180 hasAuthorship W2946908180A5011161376 @default.
- W2946908180 hasAuthorship W2946908180A5016394608 @default.
- W2946908180 hasAuthorship W2946908180A5039757989 @default.
- W2946908180 hasConcept C105795698 @default.
- W2946908180 hasConcept C118615104 @default.
- W2946908180 hasConcept C136119220 @default.
- W2946908180 hasConcept C167729594 @default.
- W2946908180 hasConcept C202444582 @default.
- W2946908180 hasConcept C2524010 @default.
- W2946908180 hasConcept C2778023678 @default.
- W2946908180 hasConcept C33923547 @default.
- W2946908180 hasConcept C50555996 @default.
- W2946908180 hasConcept C5274069 @default.
- W2946908180 hasConcept C69562738 @default.
- W2946908180 hasConceptScore W2946908180C105795698 @default.
- W2946908180 hasConceptScore W2946908180C118615104 @default.
- W2946908180 hasConceptScore W2946908180C136119220 @default.
- W2946908180 hasConceptScore W2946908180C167729594 @default.
- W2946908180 hasConceptScore W2946908180C202444582 @default.
- W2946908180 hasConceptScore W2946908180C2524010 @default.
- W2946908180 hasConceptScore W2946908180C2778023678 @default.
- W2946908180 hasConceptScore W2946908180C33923547 @default.
- W2946908180 hasConceptScore W2946908180C50555996 @default.
- W2946908180 hasConceptScore W2946908180C5274069 @default.
- W2946908180 hasConceptScore W2946908180C69562738 @default.
- W2946908180 hasLocation W29469081801 @default.
- W2946908180 hasOpenAccess W2946908180 @default.
- W2946908180 hasPrimaryLocation W29469081801 @default.
- W2946908180 hasRelatedWork W135509127 @default.
- W2946908180 hasRelatedWork W1593006801 @default.
- W2946908180 hasRelatedWork W1602501515 @default.
- W2946908180 hasRelatedWork W1620366888 @default.
- W2946908180 hasRelatedWork W1970294481 @default.
- W2946908180 hasRelatedWork W2013191336 @default.
- W2946908180 hasRelatedWork W2023793207 @default.
- W2946908180 hasRelatedWork W2028221785 @default.
- W2946908180 hasRelatedWork W2034881471 @default.
- W2946908180 hasRelatedWork W2040523117 @default.
- W2946908180 hasRelatedWork W2441976789 @default.
- W2946908180 hasRelatedWork W2528103913 @default.
- W2946908180 hasRelatedWork W2794823936 @default.
- W2946908180 hasRelatedWork W2913700957 @default.
- W2946908180 hasRelatedWork W2953303101 @default.
- W2946908180 hasRelatedWork W2963632537 @default.
- W2946908180 hasRelatedWork W3003043332 @default.
- W2946908180 hasRelatedWork W3105332920 @default.
- W2946908180 hasRelatedWork W899401075 @default.
- W2946908180 hasRelatedWork W3110983440 @default.
- W2946908180 isParatext "false" @default.
- W2946908180 isRetracted "false" @default.
- W2946908180 magId "2946908180" @default.
- W2946908180 workType "article" @default.