Matches in SemOpenAlex for { <https://semopenalex.org/work/W2793142102> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2793142102 abstract "We provide logics (defined with the propositional falsity constant) definitionally equivalent to the basic logics B c S , B c , B K S , and B K defined in Chapters 2 and 3 . But the first section of the chapter introduces a simple expansion with the constant f of each one of the logics B + and B K+ , the logics B +, f and B K+, f . Then, the logics B c Sf and B c f are extensions of B +, f , whereas B K Sf and B K f are extensions of B K+, f ." @default.
- W2793142102 created "2018-03-29" @default.
- W2793142102 creator A5035778877 @default.
- W2793142102 creator A5056276034 @default.
- W2793142102 date "2018-01-01" @default.
- W2793142102 modified "2023-09-24" @default.
- W2793142102 title "Logics definitionally equivalent to the basic constructive logics. The logicsBcSf,Bcf,BKSf, andBKf" @default.
- W2793142102 cites W2164993274 @default.
- W2793142102 doi "https://doi.org/10.1016/b978-0-08-100751-8.00006-7" @default.
- W2793142102 hasPublicationYear "2018" @default.
- W2793142102 type Work @default.
- W2793142102 sameAs 2793142102 @default.
- W2793142102 citedByCount "0" @default.
- W2793142102 crossrefType "book-chapter" @default.
- W2793142102 hasAuthorship W2793142102A5035778877 @default.
- W2793142102 hasAuthorship W2793142102A5056276034 @default.
- W2793142102 hasConcept C118615104 @default.
- W2793142102 hasConcept C138885662 @default.
- W2793142102 hasConcept C1883856 @default.
- W2793142102 hasConcept C199360897 @default.
- W2793142102 hasConcept C202444582 @default.
- W2793142102 hasConcept C2777027219 @default.
- W2793142102 hasConcept C2777685122 @default.
- W2793142102 hasConcept C2778701210 @default.
- W2793142102 hasConcept C33923547 @default.
- W2793142102 hasConcept C41008148 @default.
- W2793142102 hasConcept C41895202 @default.
- W2793142102 hasConcept C42011625 @default.
- W2793142102 hasConcept C5263885 @default.
- W2793142102 hasConcept C58166 @default.
- W2793142102 hasConcept C86602344 @default.
- W2793142102 hasConcept C98045186 @default.
- W2793142102 hasConcept C98224912 @default.
- W2793142102 hasConceptScore W2793142102C118615104 @default.
- W2793142102 hasConceptScore W2793142102C138885662 @default.
- W2793142102 hasConceptScore W2793142102C1883856 @default.
- W2793142102 hasConceptScore W2793142102C199360897 @default.
- W2793142102 hasConceptScore W2793142102C202444582 @default.
- W2793142102 hasConceptScore W2793142102C2777027219 @default.
- W2793142102 hasConceptScore W2793142102C2777685122 @default.
- W2793142102 hasConceptScore W2793142102C2778701210 @default.
- W2793142102 hasConceptScore W2793142102C33923547 @default.
- W2793142102 hasConceptScore W2793142102C41008148 @default.
- W2793142102 hasConceptScore W2793142102C41895202 @default.
- W2793142102 hasConceptScore W2793142102C42011625 @default.
- W2793142102 hasConceptScore W2793142102C5263885 @default.
- W2793142102 hasConceptScore W2793142102C58166 @default.
- W2793142102 hasConceptScore W2793142102C86602344 @default.
- W2793142102 hasConceptScore W2793142102C98045186 @default.
- W2793142102 hasConceptScore W2793142102C98224912 @default.
- W2793142102 hasLocation W27931421021 @default.
- W2793142102 hasOpenAccess W2793142102 @default.
- W2793142102 hasPrimaryLocation W27931421021 @default.
- W2793142102 hasRelatedWork W1488529230 @default.
- W2793142102 hasRelatedWork W1528395284 @default.
- W2793142102 hasRelatedWork W1966469983 @default.
- W2793142102 hasRelatedWork W2067332512 @default.
- W2793142102 hasRelatedWork W2067884384 @default.
- W2793142102 hasRelatedWork W2089158546 @default.
- W2793142102 hasRelatedWork W2148157601 @default.
- W2793142102 hasRelatedWork W2300695120 @default.
- W2793142102 hasRelatedWork W2309107092 @default.
- W2793142102 hasRelatedWork W2794069719 @default.
- W2793142102 hasRelatedWork W2809606189 @default.
- W2793142102 hasRelatedWork W2902659482 @default.
- W2793142102 hasRelatedWork W2971573791 @default.
- W2793142102 hasRelatedWork W2976185680 @default.
- W2793142102 hasRelatedWork W3037206859 @default.
- W2793142102 hasRelatedWork W314796037 @default.
- W2793142102 hasRelatedWork W3186856844 @default.
- W2793142102 hasRelatedWork W99471385 @default.
- W2793142102 hasRelatedWork W2504508527 @default.
- W2793142102 hasRelatedWork W2551720480 @default.
- W2793142102 isParatext "false" @default.
- W2793142102 isRetracted "false" @default.
- W2793142102 magId "2793142102" @default.
- W2793142102 workType "book-chapter" @default.