Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962912252> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2962912252 abstract "The proof theory of a logic deals with the rules of inference corresponding to the logical connectives in the object language. As the theory of graded consequence is not a particular logic, rather a general scheme for logics dealing with multilayered many-valuedness; in this chapter, we shall present the necessary and sufficient conditions for getting specific rules corresponding to logical connectives of the object language. That is, we shall add connectives, say (#), in the language and explore the necessary and sufficient conditions to get hold of particular rules concerning (#). This study will help us to present a general scheme for generating different logics based on GCT. We shall show that the interrelation between the object-level algebraic structure and the meta-level algebraic structure determines the proof theory of a logic. That the many-valued logics can be obtained as a special case of this scheme will be presented at the end." @default.
- W2962912252 created "2019-07-30" @default.
- W2962912252 creator A5063856504 @default.
- W2962912252 creator A5086453751 @default.
- W2962912252 date "2019-01-01" @default.
- W2962912252 modified "2023-09-24" @default.
- W2962912252 title "Proof Theoretic Rules in Graded Consequence: From Semantic Perspective" @default.
- W2962912252 cites W2002328436 @default.
- W2962912252 cites W2019804655 @default.
- W2962912252 cites W2024065710 @default.
- W2962912252 cites W2110182592 @default.
- W2962912252 cites W2123127290 @default.
- W2962912252 cites W2167907160 @default.
- W2962912252 cites W2191615978 @default.
- W2962912252 cites W2501120957 @default.
- W2962912252 cites W265154367 @default.
- W2962912252 cites W4210927669 @default.
- W2962912252 cites W607239742 @default.
- W2962912252 doi "https://doi.org/10.1007/978-981-13-8896-5_4" @default.
- W2962912252 hasPublicationYear "2019" @default.
- W2962912252 type Work @default.
- W2962912252 sameAs 2962912252 @default.
- W2962912252 citedByCount "0" @default.
- W2962912252 crossrefType "book-chapter" @default.
- W2962912252 hasAuthorship W2962912252A5063856504 @default.
- W2962912252 hasAuthorship W2962912252A5086453751 @default.
- W2962912252 hasConcept C118615104 @default.
- W2962912252 hasConcept C12713177 @default.
- W2962912252 hasConcept C134306372 @default.
- W2962912252 hasConcept C136119220 @default.
- W2962912252 hasConcept C154945302 @default.
- W2962912252 hasConcept C182419690 @default.
- W2962912252 hasConcept C199343813 @default.
- W2962912252 hasConcept C199360897 @default.
- W2962912252 hasConcept C202444582 @default.
- W2962912252 hasConcept C2776214188 @default.
- W2962912252 hasConcept C2777686260 @default.
- W2962912252 hasConcept C2780069185 @default.
- W2962912252 hasConcept C2781238097 @default.
- W2962912252 hasConcept C33923547 @default.
- W2962912252 hasConcept C3746660 @default.
- W2962912252 hasConcept C41008148 @default.
- W2962912252 hasConcept C70846408 @default.
- W2962912252 hasConcept C71924100 @default.
- W2962912252 hasConcept C77618280 @default.
- W2962912252 hasConcept C80444323 @default.
- W2962912252 hasConcept C9376300 @default.
- W2962912252 hasConceptScore W2962912252C118615104 @default.
- W2962912252 hasConceptScore W2962912252C12713177 @default.
- W2962912252 hasConceptScore W2962912252C134306372 @default.
- W2962912252 hasConceptScore W2962912252C136119220 @default.
- W2962912252 hasConceptScore W2962912252C154945302 @default.
- W2962912252 hasConceptScore W2962912252C182419690 @default.
- W2962912252 hasConceptScore W2962912252C199343813 @default.
- W2962912252 hasConceptScore W2962912252C199360897 @default.
- W2962912252 hasConceptScore W2962912252C202444582 @default.
- W2962912252 hasConceptScore W2962912252C2776214188 @default.
- W2962912252 hasConceptScore W2962912252C2777686260 @default.
- W2962912252 hasConceptScore W2962912252C2780069185 @default.
- W2962912252 hasConceptScore W2962912252C2781238097 @default.
- W2962912252 hasConceptScore W2962912252C33923547 @default.
- W2962912252 hasConceptScore W2962912252C3746660 @default.
- W2962912252 hasConceptScore W2962912252C41008148 @default.
- W2962912252 hasConceptScore W2962912252C70846408 @default.
- W2962912252 hasConceptScore W2962912252C71924100 @default.
- W2962912252 hasConceptScore W2962912252C77618280 @default.
- W2962912252 hasConceptScore W2962912252C80444323 @default.
- W2962912252 hasConceptScore W2962912252C9376300 @default.
- W2962912252 hasLocation W29629122521 @default.
- W2962912252 hasOpenAccess W2962912252 @default.
- W2962912252 hasPrimaryLocation W29629122521 @default.
- W2962912252 hasRelatedWork W1556555945 @default.
- W2962912252 hasRelatedWork W1558192456 @default.
- W2962912252 hasRelatedWork W1893891706 @default.
- W2962912252 hasRelatedWork W2031951122 @default.
- W2962912252 hasRelatedWork W2038571047 @default.
- W2962912252 hasRelatedWork W2262152277 @default.
- W2962912252 hasRelatedWork W2525960926 @default.
- W2962912252 hasRelatedWork W2898670361 @default.
- W2962912252 hasRelatedWork W2912858786 @default.
- W2962912252 hasRelatedWork W4221139007 @default.
- W2962912252 isParatext "false" @default.
- W2962912252 isRetracted "false" @default.
- W2962912252 magId "2962912252" @default.
- W2962912252 workType "book-chapter" @default.