Matches in SemOpenAlex for { <https://semopenalex.org/work/W1895564400> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1895564400 abstract "A discussion is presented of the problem of resolution approximation of many-valued logics, that is, the problem of defining propositional logics in terms of finite sets of resolution proof systems. The resolution proof systems discussed are based on the weak form of transformation rules. It is shown that for many-valued logics (and more generally, for resolution logics) minimal resolution approximations can be effectively constructed. >" @default.
- W1895564400 created "2016-06-24" @default.
- W1895564400 creator A5074550143 @default.
- W1895564400 date "2002-12-04" @default.
- W1895564400 modified "2023-09-23" @default.
- W1895564400 title "Note on resolution approximation of many-valued logics" @default.
- W1895564400 cites W100413114 @default.
- W1895564400 cites W1519478560 @default.
- W1895564400 cites W1964800937 @default.
- W1895564400 cites W1997981187 @default.
- W1895564400 cites W2053547980 @default.
- W1895564400 cites W2067148012 @default.
- W1895564400 cites W2095704391 @default.
- W1895564400 cites W2100738443 @default.
- W1895564400 cites W2176180880 @default.
- W1895564400 cites W2331855851 @default.
- W1895564400 cites W97795048 @default.
- W1895564400 doi "https://doi.org/10.1109/ismvl.1990.122622" @default.
- W1895564400 hasPublicationYear "2002" @default.
- W1895564400 type Work @default.
- W1895564400 sameAs 1895564400 @default.
- W1895564400 citedByCount "3" @default.
- W1895564400 crossrefType "proceedings-article" @default.
- W1895564400 hasAuthorship W1895564400A5074550143 @default.
- W1895564400 hasConcept C104317684 @default.
- W1895564400 hasConcept C105605280 @default.
- W1895564400 hasConcept C108710211 @default.
- W1895564400 hasConcept C118615104 @default.
- W1895564400 hasConcept C136119220 @default.
- W1895564400 hasConcept C138268822 @default.
- W1895564400 hasConcept C154945302 @default.
- W1895564400 hasConcept C185592680 @default.
- W1895564400 hasConcept C1883856 @default.
- W1895564400 hasConcept C199343813 @default.
- W1895564400 hasConcept C202444582 @default.
- W1895564400 hasConcept C204241405 @default.
- W1895564400 hasConcept C2524010 @default.
- W1895564400 hasConcept C2777686260 @default.
- W1895564400 hasConcept C33923547 @default.
- W1895564400 hasConcept C41008148 @default.
- W1895564400 hasConcept C42011625 @default.
- W1895564400 hasConcept C5263885 @default.
- W1895564400 hasConcept C55493867 @default.
- W1895564400 hasConcept C58166 @default.
- W1895564400 hasConcept C69562738 @default.
- W1895564400 hasConcept C71924100 @default.
- W1895564400 hasConcept C86602344 @default.
- W1895564400 hasConcept C98224912 @default.
- W1895564400 hasConceptScore W1895564400C104317684 @default.
- W1895564400 hasConceptScore W1895564400C105605280 @default.
- W1895564400 hasConceptScore W1895564400C108710211 @default.
- W1895564400 hasConceptScore W1895564400C118615104 @default.
- W1895564400 hasConceptScore W1895564400C136119220 @default.
- W1895564400 hasConceptScore W1895564400C138268822 @default.
- W1895564400 hasConceptScore W1895564400C154945302 @default.
- W1895564400 hasConceptScore W1895564400C185592680 @default.
- W1895564400 hasConceptScore W1895564400C1883856 @default.
- W1895564400 hasConceptScore W1895564400C199343813 @default.
- W1895564400 hasConceptScore W1895564400C202444582 @default.
- W1895564400 hasConceptScore W1895564400C204241405 @default.
- W1895564400 hasConceptScore W1895564400C2524010 @default.
- W1895564400 hasConceptScore W1895564400C2777686260 @default.
- W1895564400 hasConceptScore W1895564400C33923547 @default.
- W1895564400 hasConceptScore W1895564400C41008148 @default.
- W1895564400 hasConceptScore W1895564400C42011625 @default.
- W1895564400 hasConceptScore W1895564400C5263885 @default.
- W1895564400 hasConceptScore W1895564400C55493867 @default.
- W1895564400 hasConceptScore W1895564400C58166 @default.
- W1895564400 hasConceptScore W1895564400C69562738 @default.
- W1895564400 hasConceptScore W1895564400C71924100 @default.
- W1895564400 hasConceptScore W1895564400C86602344 @default.
- W1895564400 hasConceptScore W1895564400C98224912 @default.
- W1895564400 hasLocation W18955644001 @default.
- W1895564400 hasOpenAccess W1895564400 @default.
- W1895564400 hasPrimaryLocation W18955644001 @default.
- W1895564400 hasRelatedWork W1546773510 @default.
- W1895564400 hasRelatedWork W1547510120 @default.
- W1895564400 hasRelatedWork W1563960380 @default.
- W1895564400 hasRelatedWork W1639650368 @default.
- W1895564400 hasRelatedWork W1785615301 @default.
- W1895564400 hasRelatedWork W1993789763 @default.
- W1895564400 hasRelatedWork W2006614341 @default.
- W1895564400 hasRelatedWork W2132862307 @default.
- W1895564400 hasRelatedWork W2141364184 @default.
- W1895564400 hasRelatedWork W2147579323 @default.
- W1895564400 hasRelatedWork W2154026530 @default.
- W1895564400 hasRelatedWork W2159753366 @default.
- W1895564400 hasRelatedWork W2240236149 @default.
- W1895564400 hasRelatedWork W2507687862 @default.
- W1895564400 hasRelatedWork W2564918887 @default.
- W1895564400 hasRelatedWork W2604254479 @default.
- W1895564400 hasRelatedWork W2773093770 @default.
- W1895564400 hasRelatedWork W2963817577 @default.
- W1895564400 hasRelatedWork W2982902128 @default.
- W1895564400 hasRelatedWork W3021575323 @default.
- W1895564400 isParatext "false" @default.
- W1895564400 isRetracted "false" @default.
- W1895564400 magId "1895564400" @default.
- W1895564400 workType "article" @default.