Matches in SemOpenAlex for { <https://semopenalex.org/work/W2796853096> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2796853096 abstract "This paper presents Rasiowa–Sikorski deduction systems (R–S systems) for logics $$mathsf {CPL}$$ , $$mathsf {CLuN}$$ , $$mathsf {CLuNs}$$ and $$mathsf {mbC}$$ . For each of the logics two systems are developed: an R–S system that can be supplemented with admissible cut rule, and a $$mathbf {KE}$$ -version of R–S system in which the non-admissible rule of cut is the only branching rule. The systems are presented in a Smullyan-like uniform notation, extended and adjusted to the aims of this paper. Completeness is proved by the use of abstract refutability properties which are dual to consistency properties used by Fitting. Also the notion of admissibility of a rule in an R–S-system is analysed." @default.
- W2796853096 created "2018-04-24" @default.
- W2796853096 creator A5059246875 @default.
- W2796853096 creator A5068647400 @default.
- W2796853096 creator A5086430177 @default.
- W2796853096 date "2018-04-09" @default.
- W2796853096 modified "2023-09-24" @default.
- W2796853096 title "Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study" @default.
- W2796853096 cites W1498213544 @default.
- W2796853096 cites W1534293633 @default.
- W2796853096 cites W1570374618 @default.
- W2796853096 cites W1574493781 @default.
- W2796853096 cites W1842806778 @default.
- W2796853096 cites W1991138028 @default.
- W2796853096 cites W1991582431 @default.
- W2796853096 cites W2035165256 @default.
- W2796853096 cites W205246246 @default.
- W2796853096 cites W2052771703 @default.
- W2796853096 cites W2053254769 @default.
- W2796853096 cites W2070614314 @default.
- W2796853096 cites W2098322793 @default.
- W2796853096 cites W2608610996 @default.
- W2796853096 cites W2770778970 @default.
- W2796853096 cites W2908059907 @default.
- W2796853096 cites W4233253115 @default.
- W2796853096 cites W4235732401 @default.
- W2796853096 cites W4301968143 @default.
- W2796853096 cites W824969079 @default.
- W2796853096 cites W82633235 @default.
- W2796853096 cites W2129223873 @default.
- W2796853096 doi "https://doi.org/10.1007/s11225-018-9795-7" @default.
- W2796853096 hasPublicationYear "2018" @default.
- W2796853096 type Work @default.
- W2796853096 sameAs 2796853096 @default.
- W2796853096 citedByCount "0" @default.
- W2796853096 crossrefType "journal-article" @default.
- W2796853096 hasAuthorship W2796853096A5059246875 @default.
- W2796853096 hasAuthorship W2796853096A5068647400 @default.
- W2796853096 hasAuthorship W2796853096A5086430177 @default.
- W2796853096 hasBestOaLocation W27968530961 @default.
- W2796853096 hasConcept C114614502 @default.
- W2796853096 hasConcept C118615104 @default.
- W2796853096 hasConcept C134306372 @default.
- W2796853096 hasConcept C136119220 @default.
- W2796853096 hasConcept C17231256 @default.
- W2796853096 hasConcept C202444582 @default.
- W2796853096 hasConcept C2776436953 @default.
- W2796853096 hasConcept C33923547 @default.
- W2796853096 hasConcept C45357846 @default.
- W2796853096 hasConcept C94375191 @default.
- W2796853096 hasConceptScore W2796853096C114614502 @default.
- W2796853096 hasConceptScore W2796853096C118615104 @default.
- W2796853096 hasConceptScore W2796853096C134306372 @default.
- W2796853096 hasConceptScore W2796853096C136119220 @default.
- W2796853096 hasConceptScore W2796853096C17231256 @default.
- W2796853096 hasConceptScore W2796853096C202444582 @default.
- W2796853096 hasConceptScore W2796853096C2776436953 @default.
- W2796853096 hasConceptScore W2796853096C33923547 @default.
- W2796853096 hasConceptScore W2796853096C45357846 @default.
- W2796853096 hasConceptScore W2796853096C94375191 @default.
- W2796853096 hasFunder F4320322511 @default.
- W2796853096 hasLocation W27968530961 @default.
- W2796853096 hasOpenAccess W2796853096 @default.
- W2796853096 hasPrimaryLocation W27968530961 @default.
- W2796853096 hasRelatedWork W1423953440 @default.
- W2796853096 hasRelatedWork W1490541985 @default.
- W2796853096 hasRelatedWork W1505776411 @default.
- W2796853096 hasRelatedWork W1761466840 @default.
- W2796853096 hasRelatedWork W1784226744 @default.
- W2796853096 hasRelatedWork W1967787797 @default.
- W2796853096 hasRelatedWork W1969802940 @default.
- W2796853096 hasRelatedWork W1971424167 @default.
- W2796853096 hasRelatedWork W1973489930 @default.
- W2796853096 hasRelatedWork W1984315394 @default.
- W2796853096 hasRelatedWork W2003452157 @default.
- W2796853096 hasRelatedWork W2030232034 @default.
- W2796853096 hasRelatedWork W2046526482 @default.
- W2796853096 hasRelatedWork W2075320155 @default.
- W2796853096 hasRelatedWork W2130237401 @default.
- W2796853096 hasRelatedWork W2465310097 @default.
- W2796853096 hasRelatedWork W2790151031 @default.
- W2796853096 hasRelatedWork W2801429813 @default.
- W2796853096 hasRelatedWork W3021362983 @default.
- W2796853096 hasRelatedWork W3191623005 @default.
- W2796853096 isParatext "false" @default.
- W2796853096 isRetracted "false" @default.
- W2796853096 magId "2796853096" @default.
- W2796853096 workType "article" @default.