FRINK Linked Data Fragments server

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

• W1537431438 abstract "In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible worlds), and the set of classic two logic values. This approach is close to the approach used in annotated logics, but offers the possibility of using the standard semantics based on Herbrand interpretations. Moreover, it uses the properties of the higher-order Herbrand types, as their fundamental nature is based on autoreferential Kripke semantics where the possible worlds are algebraic truth-values of original many-valued logic. This autoreferential Kripke semantics, which has the possibility of flattening higher-order Herbrand interpretations into ordinary 2-valued Herbrand interpretations, gives us a clearer insight into the relationship between many-valued and 2-valued multi-modal logics. This methodology is applied to the class of many-valued Logic Programs, where reduction is done in a structural way, based on the logic structure (logic connectives) of original many-valued logics. Following this, we generalize the reduction to general structural many-valued logics, in an abstract way, based on Suszko's informal non-constructive idea. In all cases, by using developed 2-valued reductions we obtain a kind of non truth-valued modal meta-logics, where two-valued formulae are modal sentences obtained by application of particular modal operators to original many-valued formulae." @default.
• W1537431438 created "2016-06-24" @default.
• W1537431438 creator A5068834489 @default.
• W1537431438 date "2011-03-04" @default.
• W1537431438 modified "2023-09-27" @default.
• W1537431438 title "Reduction of Many-valued into Two-valued Modal Logics" @default.
• W1537431438 cites W142679191 @default.
• W1537431438 cites W1485029511 @default.
• W1537431438 cites W1487409515 @default.
• W1537431438 cites W1496190091 @default.
• W1537431438 cites W1565272689 @default.
• W1537431438 cites W1577536563 @default.
• W1537431438 cites W1776489475 @default.
• W1537431438 cites W1785615301 @default.
• W1537431438 cites W1854613159 @default.
• W1537431438 cites W193000491 @default.
• W1537431438 cites W2001805670 @default.
• W1537431438 cites W2003531456 @default.
• W1537431438 cites W2006426192 @default.
• W1537431438 cites W2010104109 @default.
• W1537431438 cites W2024400846 @default.
• W1537431438 cites W2026518570 @default.
• W1537431438 cites W2032352315 @default.
• W1537431438 cites W205912319 @default.
• W1537431438 cites W2073764215 @default.
• W1537431438 cites W2078843353 @default.
• W1537431438 cites W2085716418 @default.
• W1537431438 cites W2093713825 @default.
• W1537431438 cites W2107171883 @default.
• W1537431438 cites W2110182592 @default.
• W1537431438 cites W2131624112 @default.
• W1537431438 cites W2142616542 @default.
• W1537431438 cites W2145524968 @default.
• W1537431438 cites W2148502788 @default.
• W1537431438 cites W2152825128 @default.
• W1537431438 cites W2157221482 @default.
• W1537431438 cites W2173808493 @default.
• W1537431438 cites W2232005191 @default.
• W1537431438 cites W2405179728 @default.
• W1537431438 cites W3128976560 @default.
• W1537431438 cites W3197546437 @default.
• W1537431438 cites W3208981912 @default.
• W1537431438 cites W51762244 @default.
• W1537431438 cites W637989598 @default.
• W1537431438 cites W76348449 @default.
• W1537431438 cites W95560987 @default.
• W1537431438 cites W2004198593 @default.
• W1537431438 hasPublicationYear "2011" @default.
• W1537431438 type Work @default.
• W1537431438 sameAs 1537431438 @default.
• W1537431438 citedByCount "0" @default.
• W1537431438 crossrefType "posted-content" @default.
• W1537431438 hasAuthorship W1537431438A5068834489 @default.
• W1537431438 hasConcept C102993220 @default.
• W1537431438 hasConcept C111335779 @default.
• W1537431438 hasConcept C11191006 @default.
• W1537431438 hasConcept C114092440 @default.
• W1537431438 hasConcept C11413529 @default.
• W1537431438 hasConcept C118615104 @default.
• W1537431438 hasConcept C136119220 @default.
• W1537431438 hasConcept C154945302 @default.
• W1537431438 hasConcept C160131679 @default.
• W1537431438 hasConcept C178421362 @default.
• W1537431438 hasConcept C185592680 @default.
• W1537431438 hasConcept C188027245 @default.
• W1537431438 hasConcept C1883856 @default.
• W1537431438 hasConcept C192609573 @default.
• W1537431438 hasConcept C202444582 @default.
• W1537431438 hasConcept C203659156 @default.
• W1537431438 hasConcept C2524010 @default.
• W1537431438 hasConcept C27508121 @default.
• W1537431438 hasConcept C32241873 @default.
• W1537431438 hasConcept C33203268 @default.
• W1537431438 hasConcept C33923547 @default.
• W1537431438 hasConcept C41008148 @default.
• W1537431438 hasConcept C42011625 @default.
• W1537431438 hasConcept C5263885 @default.
• W1537431438 hasConcept C58166 @default.
• W1537431438 hasConcept C69562738 @default.
• W1537431438 hasConcept C71139939 @default.
• W1537431438 hasConcept C80444323 @default.
• W1537431438 hasConcept C86602344 @default.
• W1537431438 hasConcept C98224912 @default.
• W1537431438 hasConceptScore W1537431438C102993220 @default.
• W1537431438 hasConceptScore W1537431438C111335779 @default.
• W1537431438 hasConceptScore W1537431438C11191006 @default.
• W1537431438 hasConceptScore W1537431438C114092440 @default.
• W1537431438 hasConceptScore W1537431438C11413529 @default.
• W1537431438 hasConceptScore W1537431438C118615104 @default.
• W1537431438 hasConceptScore W1537431438C136119220 @default.
• W1537431438 hasConceptScore W1537431438C154945302 @default.
• W1537431438 hasConceptScore W1537431438C160131679 @default.
• W1537431438 hasConceptScore W1537431438C178421362 @default.
• W1537431438 hasConceptScore W1537431438C185592680 @default.
• W1537431438 hasConceptScore W1537431438C188027245 @default.
• W1537431438 hasConceptScore W1537431438C1883856 @default.
• W1537431438 hasConceptScore W1537431438C192609573 @default.
• W1537431438 hasConceptScore W1537431438C202444582 @default.
• W1537431438 hasConceptScore W1537431438C203659156 @default.
• W1537431438 hasConceptScore W1537431438C2524010 @default.

• next