FRINK Linked Data Fragments server

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

• W4386363699 endingPage "343" @default.
• W4386363699 startingPage "325" @default.
• W4386363699 abstract "Abstract We present a uniform characterisation of three-valued logics by means of bisequent calculus (BSC). It is a generalised form of sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents. This family covers several forms of hypersequent and nested sequent calculi introduced to provide decent SC for several non-classical logics. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, this reasonably modest generalization of standard SC is sufficient. In this paper we examine a variety of three-valued logics and show how they can be formalised in the framework of bisequent calculus. All provided systems are cut-free and satisfy the subformula property. Also the interpolation theorem is constructively proved for some logics." @default.
• W4386363699 created "2023-09-02" @default.
• W4386363699 creator A5032808113 @default.
• W4386363699 creator A5036443124 @default.
• W4386363699 date "2023-01-01" @default.
• W4386363699 modified "2023-09-27" @default.
• W4386363699 title "A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus" @default.
• W4386363699 cites W1511652686 @default.
• W4386363699 cites W1986497773 @default.
• W4386363699 cites W1990115729 @default.
• W4386363699 cites W1994527472 @default.
• W4386363699 cites W1994590553 @default.
• W4386363699 cites W1996579835 @default.
• W4386363699 cites W2002522556 @default.
• W4386363699 cites W2006426192 @default.
• W4386363699 cites W2036869460 @default.
• W4386363699 cites W2037995299 @default.
• W4386363699 cites W2048502195 @default.
• W4386363699 cites W2058748845 @default.
• W4386363699 cites W2062996390 @default.
• W4386363699 cites W2067005442 @default.
• W4386363699 cites W2085956853 @default.
• W4386363699 cites W2092490196 @default.
• W4386363699 cites W2104730696 @default.
• W4386363699 cites W2142616542 @default.
• W4386363699 cites W2166089338 @default.
• W4386363699 cites W2319549361 @default.
• W4386363699 cites W2607009070 @default.
• W4386363699 cites W2800354409 @default.
• W4386363699 cites W2952657320 @default.
• W4386363699 cites W2969501000 @default.
• W4386363699 cites W2981680275 @default.
• W4386363699 cites W3110798604 @default.
• W4386363699 cites W3194705343 @default.
• W4386363699 cites W3198316942 @default.
• W4386363699 cites W3202656763 @default.
• W4386363699 cites W4249259371 @default.
• W4386363699 cites W4253656749 @default.
• W4386363699 doi "https://doi.org/10.1007/978-3-031-38499-8_19" @default.
• W4386363699 hasPublicationYear "2023" @default.
• W4386363699 type Work @default.
• W4386363699 citedByCount "0" @default.
• W4386363699 crossrefType "book-chapter" @default.
• W4386363699 hasAuthorship W4386363699A5032808113 @default.
• W4386363699 hasAuthorship W4386363699A5036443124 @default.
• W4386363699 hasBestOaLocation W43863636991 @default.
• W4386363699 hasConcept C108710211 @default.
• W4386363699 hasConcept C111404639 @default.
• W4386363699 hasConcept C111472728 @default.
• W4386363699 hasConcept C118615104 @default.
• W4386363699 hasConcept C134306372 @default.
• W4386363699 hasConcept C136119220 @default.
• W4386363699 hasConcept C138885662 @default.
• W4386363699 hasConcept C154945302 @default.
• W4386363699 hasConcept C177148314 @default.
• W4386363699 hasConcept C189950617 @default.
• W4386363699 hasConcept C199343813 @default.
• W4386363699 hasConcept C202444582 @default.
• W4386363699 hasConcept C2524010 @default.
• W4386363699 hasConcept C2777686260 @default.
• W4386363699 hasConcept C33923547 @default.
• W4386363699 hasConcept C41008148 @default.
• W4386363699 hasConcept C42011625 @default.
• W4386363699 hasConcept C5263885 @default.
• W4386363699 hasConcept C58166 @default.
• W4386363699 hasConcept C62073222 @default.
• W4386363699 hasConcept C6489637 @default.
• W4386363699 hasConcept C65880906 @default.
• W4386363699 hasConcept C71924100 @default.
• W4386363699 hasConcept C86602344 @default.
• W4386363699 hasConcept C89421646 @default.
• W4386363699 hasConceptScore W4386363699C108710211 @default.
• W4386363699 hasConceptScore W4386363699C111404639 @default.
• W4386363699 hasConceptScore W4386363699C111472728 @default.
• W4386363699 hasConceptScore W4386363699C118615104 @default.
• W4386363699 hasConceptScore W4386363699C134306372 @default.
• W4386363699 hasConceptScore W4386363699C136119220 @default.
• W4386363699 hasConceptScore W4386363699C138885662 @default.
• W4386363699 hasConceptScore W4386363699C154945302 @default.
• W4386363699 hasConceptScore W4386363699C177148314 @default.
• W4386363699 hasConceptScore W4386363699C189950617 @default.
• W4386363699 hasConceptScore W4386363699C199343813 @default.
• W4386363699 hasConceptScore W4386363699C202444582 @default.
• W4386363699 hasConceptScore W4386363699C2524010 @default.
• W4386363699 hasConceptScore W4386363699C2777686260 @default.
• W4386363699 hasConceptScore W4386363699C33923547 @default.
• W4386363699 hasConceptScore W4386363699C41008148 @default.
• W4386363699 hasConceptScore W4386363699C42011625 @default.
• W4386363699 hasConceptScore W4386363699C5263885 @default.
• W4386363699 hasConceptScore W4386363699C58166 @default.
• W4386363699 hasConceptScore W4386363699C62073222 @default.
• W4386363699 hasConceptScore W4386363699C6489637 @default.
• W4386363699 hasConceptScore W4386363699C65880906 @default.
• W4386363699 hasConceptScore W4386363699C71924100 @default.
• W4386363699 hasConceptScore W4386363699C86602344 @default.
• W4386363699 hasConceptScore W4386363699C89421646 @default.
• W4386363699 hasLocation W43863636991 @default.
• W4386363699 hasOpenAccess W4386363699 @default.

• next