Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945521894> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2945521894 endingPage "521" @default.
- W2945521894 startingPage "507" @default.
- W2945521894 abstract "Abstract We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system." @default.
- W2945521894 created "2019-05-29" @default.
- W2945521894 creator A5015302623 @default.
- W2945521894 creator A5058688721 @default.
- W2945521894 creator A5068934468 @default.
- W2945521894 date "2019-05-28" @default.
- W2945521894 modified "2023-09-23" @default.
- W2945521894 title "Sequent calculus for 3-valued paraconsistent logic QMPT0" @default.
- W2945521894 cites W1980589711 @default.
- W2945521894 cites W2022760936 @default.
- W2945521894 cites W2085089824 @default.
- W2945521894 cites W2161382787 @default.
- W2945521894 cites W2473080212 @default.
- W2945521894 cites W2781531851 @default.
- W2945521894 cites W2801868925 @default.
- W2945521894 doi "https://doi.org/10.1093/jigpal/jzz016" @default.
- W2945521894 hasPublicationYear "2019" @default.
- W2945521894 type Work @default.
- W2945521894 sameAs 2945521894 @default.
- W2945521894 citedByCount "0" @default.
- W2945521894 crossrefType "journal-article" @default.
- W2945521894 hasAuthorship W2945521894A5015302623 @default.
- W2945521894 hasAuthorship W2945521894A5058688721 @default.
- W2945521894 hasAuthorship W2945521894A5068934468 @default.
- W2945521894 hasConcept C102993220 @default.
- W2945521894 hasConcept C108710211 @default.
- W2945521894 hasConcept C111404639 @default.
- W2945521894 hasConcept C118615104 @default.
- W2945521894 hasConcept C136119220 @default.
- W2945521894 hasConcept C16796852 @default.
- W2945521894 hasConcept C169896238 @default.
- W2945521894 hasConcept C199343813 @default.
- W2945521894 hasConcept C199360897 @default.
- W2945521894 hasConcept C202444582 @default.
- W2945521894 hasConcept C2524010 @default.
- W2945521894 hasConcept C2777686260 @default.
- W2945521894 hasConcept C33923547 @default.
- W2945521894 hasConcept C41008148 @default.
- W2945521894 hasConcept C62073222 @default.
- W2945521894 hasConcept C6489637 @default.
- W2945521894 hasConcept C65880906 @default.
- W2945521894 hasConcept C71924100 @default.
- W2945521894 hasConcept C89421646 @default.
- W2945521894 hasConceptScore W2945521894C102993220 @default.
- W2945521894 hasConceptScore W2945521894C108710211 @default.
- W2945521894 hasConceptScore W2945521894C111404639 @default.
- W2945521894 hasConceptScore W2945521894C118615104 @default.
- W2945521894 hasConceptScore W2945521894C136119220 @default.
- W2945521894 hasConceptScore W2945521894C16796852 @default.
- W2945521894 hasConceptScore W2945521894C169896238 @default.
- W2945521894 hasConceptScore W2945521894C199343813 @default.
- W2945521894 hasConceptScore W2945521894C199360897 @default.
- W2945521894 hasConceptScore W2945521894C202444582 @default.
- W2945521894 hasConceptScore W2945521894C2524010 @default.
- W2945521894 hasConceptScore W2945521894C2777686260 @default.
- W2945521894 hasConceptScore W2945521894C33923547 @default.
- W2945521894 hasConceptScore W2945521894C41008148 @default.
- W2945521894 hasConceptScore W2945521894C62073222 @default.
- W2945521894 hasConceptScore W2945521894C6489637 @default.
- W2945521894 hasConceptScore W2945521894C65880906 @default.
- W2945521894 hasConceptScore W2945521894C71924100 @default.
- W2945521894 hasConceptScore W2945521894C89421646 @default.
- W2945521894 hasIssue "4" @default.
- W2945521894 hasLocation W29455218941 @default.
- W2945521894 hasOpenAccess W2945521894 @default.
- W2945521894 hasPrimaryLocation W29455218941 @default.
- W2945521894 hasRelatedWork W1511862481 @default.
- W2945521894 hasRelatedWork W15440411 @default.
- W2945521894 hasRelatedWork W1760119702 @default.
- W2945521894 hasRelatedWork W1847803379 @default.
- W2945521894 hasRelatedWork W192448552 @default.
- W2945521894 hasRelatedWork W1948104915 @default.
- W2945521894 hasRelatedWork W2251713187 @default.
- W2945521894 hasRelatedWork W2315648582 @default.
- W2945521894 hasRelatedWork W2358432189 @default.
- W2945521894 hasRelatedWork W2497038745 @default.
- W2945521894 hasRelatedWork W2497058334 @default.
- W2945521894 hasRelatedWork W2560336053 @default.
- W2945521894 hasRelatedWork W2594264882 @default.
- W2945521894 hasRelatedWork W2800478439 @default.
- W2945521894 hasRelatedWork W2971007241 @default.
- W2945521894 hasRelatedWork W2981680275 @default.
- W2945521894 hasRelatedWork W2993702653 @default.
- W2945521894 hasRelatedWork W3003743430 @default.
- W2945521894 hasRelatedWork W3150713206 @default.
- W2945521894 hasRelatedWork W91153459 @default.
- W2945521894 hasVolume "27" @default.
- W2945521894 isParatext "false" @default.
- W2945521894 isRetracted "false" @default.
- W2945521894 magId "2945521894" @default.
- W2945521894 workType "article" @default.