FRINK Linked Data Fragments server

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

• W1667825161 abstract "Logical systems with classical negation and means for sentential or propositional self-reference involve, in some way, statements such as the liar. However, the paradox disappears if one replaces classical by an appropriate non-classical negation such as a paraconsistent one (no paradox arises if the liar is both true and false). We consider a non-Fregean logic which is a revised and extended version (Lewitzka 2012) of Epsilon-T-Logic originally introduced by (Straeter 1992) as a logic with a total truth predicate and propositional quantifiers. Self-reference is achieved by means of equations between formulas which are interpreted over a model-theoretic universe of propositions. Paradoxical statements, such as the liar, can be asserted only by unsatisfiable equations and do not correlate with propositions. In this paper, we generalize Epsilon-T-Logic to a four-valued logic related to Dunn/Belnap logic B_4. We also define three-valued versions related to Kleene's logic K_3 and Priest's Logic of Paradox P_3, respectively. In this many-valued setting, models may contain liars and other paradoxical propositions which are ruled out by the more restrictive classical semantics. We introduce these many-valued non-Fregean logics as extensions of abstract parameter logics such that parameter logic and extension are of the same logical type. For this purpose, we define and study abstract logics of type B_4, K_3 and P_3. Using semantic methods we show compactness of the consequence relation of abstract logics of type B_4, give a representation as minimally generated logics and establish a connection to the approach of (Font 1997). Finally, we present a complete sequent calculus for the Epsilon-T-style extension of classical abstract logics simplifying constructions originally developed by (Straeter 1992, Zeitz 2000, Lewitzka 1998)." @default.
• W1667825161 created "2016-06-24" @default.
• W1667825161 creator A5015019892 @default.
• W1667825161 date "2012-09-24" @default.
• W1667825161 modified "2023-09-27" @default.
• W1667825161 title "On some many-valued abstract logics and their Epsilon-T-style extensions" @default.
• W1667825161 cites W110963011 @default.
• W1667825161 cites W1554619471 @default.
• W1667825161 cites W1819810875 @default.
• W1667825161 cites W1973517051 @default.
• W1667825161 cites W1976522453 @default.
• W1667825161 cites W197729581 @default.
• W1667825161 cites W1987810457 @default.
• W1667825161 cites W2009834811 @default.
• W1667825161 cites W2026457733 @default.
• W1667825161 cites W2038185098 @default.
• W1667825161 cites W2092370259 @default.
• W1667825161 cites W286019678 @default.
• W1667825161 cites W659592381 @default.
• W1667825161 hasPublicationYear "2012" @default.
• W1667825161 type Work @default.
• W1667825161 sameAs 1667825161 @default.
• W1667825161 citedByCount "0" @default.
• W1667825161 crossrefType "posted-content" @default.
• W1667825161 hasAuthorship W1667825161A5015019892 @default.
• W1667825161 hasConcept C102993220 @default.
• W1667825161 hasConcept C110039528 @default.
• W1667825161 hasConcept C118615104 @default.
• W1667825161 hasConcept C138885662 @default.
• W1667825161 hasConcept C140146324 @default.
• W1667825161 hasConcept C14523651 @default.
• W1667825161 hasConcept C150889026 @default.
• W1667825161 hasConcept C154945302 @default.
• W1667825161 hasConcept C16796852 @default.
• W1667825161 hasConcept C169896238 @default.
• W1667825161 hasConcept C178421362 @default.
• W1667825161 hasConcept C19689857 @default.
• W1667825161 hasConcept C199360897 @default.
• W1667825161 hasConcept C203659156 @default.
• W1667825161 hasConcept C2185349 @default.
• W1667825161 hasConcept C2778029271 @default.
• W1667825161 hasConcept C32241873 @default.
• W1667825161 hasConcept C33203268 @default.
• W1667825161 hasConcept C33923547 @default.
• W1667825161 hasConcept C3845977 @default.
• W1667825161 hasConcept C41008148 @default.
• W1667825161 hasConcept C41895202 @default.
• W1667825161 hasConcept C42011625 @default.
• W1667825161 hasConcept C5263885 @default.
• W1667825161 hasConcept C58166 @default.
• W1667825161 hasConcept C69562738 @default.
• W1667825161 hasConcept C80444323 @default.
• W1667825161 hasConcept C86602344 @default.
• W1667825161 hasConceptScore W1667825161C102993220 @default.
• W1667825161 hasConceptScore W1667825161C110039528 @default.
• W1667825161 hasConceptScore W1667825161C118615104 @default.
• W1667825161 hasConceptScore W1667825161C138885662 @default.
• W1667825161 hasConceptScore W1667825161C140146324 @default.
• W1667825161 hasConceptScore W1667825161C14523651 @default.
• W1667825161 hasConceptScore W1667825161C150889026 @default.
• W1667825161 hasConceptScore W1667825161C154945302 @default.
• W1667825161 hasConceptScore W1667825161C16796852 @default.
• W1667825161 hasConceptScore W1667825161C169896238 @default.
• W1667825161 hasConceptScore W1667825161C178421362 @default.
• W1667825161 hasConceptScore W1667825161C19689857 @default.
• W1667825161 hasConceptScore W1667825161C199360897 @default.
• W1667825161 hasConceptScore W1667825161C203659156 @default.
• W1667825161 hasConceptScore W1667825161C2185349 @default.
• W1667825161 hasConceptScore W1667825161C2778029271 @default.
• W1667825161 hasConceptScore W1667825161C32241873 @default.
• W1667825161 hasConceptScore W1667825161C33203268 @default.
• W1667825161 hasConceptScore W1667825161C33923547 @default.
• W1667825161 hasConceptScore W1667825161C3845977 @default.
• W1667825161 hasConceptScore W1667825161C41008148 @default.
• W1667825161 hasConceptScore W1667825161C41895202 @default.
• W1667825161 hasConceptScore W1667825161C42011625 @default.
• W1667825161 hasConceptScore W1667825161C5263885 @default.
• W1667825161 hasConceptScore W1667825161C58166 @default.
• W1667825161 hasConceptScore W1667825161C69562738 @default.
• W1667825161 hasConceptScore W1667825161C80444323 @default.
• W1667825161 hasConceptScore W1667825161C86602344 @default.
• W1667825161 hasLocation W16678251611 @default.
• W1667825161 hasOpenAccess W1667825161 @default.
• W1667825161 hasPrimaryLocation W16678251611 @default.
• W1667825161 hasRelatedWork W125654268 @default.
• W1667825161 hasRelatedWork W1531571632 @default.
• W1667825161 hasRelatedWork W1760954332 @default.
• W1667825161 hasRelatedWork W1998439738 @default.
• W1667825161 hasRelatedWork W2038929539 @default.
• W1667825161 hasRelatedWork W2078212736 @default.
• W1667825161 hasRelatedWork W2082710444 @default.
• W1667825161 hasRelatedWork W2088233901 @default.
• W1667825161 hasRelatedWork W2463689481 @default.
• W1667825161 hasRelatedWork W2593401383 @default.
• W1667825161 hasRelatedWork W2809627437 @default.
• W1667825161 hasRelatedWork W2810587652 @default.
• W1667825161 hasRelatedWork W286019678 @default.
• W1667825161 hasRelatedWork W3016207443 @default.
• W1667825161 hasRelatedWork W3108113697 @default.
• W1667825161 hasRelatedWork W3117619566 @default.

• next