Matches in SemOpenAlex for { <https://semopenalex.org/work/W3049334089> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3049334089 endingPage "460" @default.
- W3049334089 startingPage "445" @default.
- W3049334089 abstract "In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system." @default.
- W3049334089 created "2020-08-21" @default.
- W3049334089 creator A5018454984 @default.
- W3049334089 creator A5044902964 @default.
- W3049334089 date "2020-01-01" @default.
- W3049334089 modified "2023-09-26" @default.
- W3049334089 title "Calculus CL as a Formal System" @default.
- W3049334089 cites W1592589621 @default.
- W3049334089 cites W2122880497 @default.
- W3049334089 cites W2592067820 @default.
- W3049334089 cites W2747520774 @default.
- W3049334089 cites W2788291068 @default.
- W3049334089 cites W2803490057 @default.
- W3049334089 cites W2955203754 @default.
- W3049334089 cites W2955839709 @default.
- W3049334089 cites W4292713962 @default.
- W3049334089 doi "https://doi.org/10.1007/978-3-030-54249-8_35" @default.
- W3049334089 hasPublicationYear "2020" @default.
- W3049334089 type Work @default.
- W3049334089 sameAs 3049334089 @default.
- W3049334089 citedByCount "1" @default.
- W3049334089 countsByYear W30493340892022 @default.
- W3049334089 crossrefType "book-chapter" @default.
- W3049334089 hasAuthorship W3049334089A5018454984 @default.
- W3049334089 hasAuthorship W3049334089A5044902964 @default.
- W3049334089 hasConcept C102315432 @default.
- W3049334089 hasConcept C106624574 @default.
- W3049334089 hasConcept C134306372 @default.
- W3049334089 hasConcept C136119220 @default.
- W3049334089 hasConcept C146499914 @default.
- W3049334089 hasConcept C17231256 @default.
- W3049334089 hasConcept C184337299 @default.
- W3049334089 hasConcept C199343813 @default.
- W3049334089 hasConcept C199360897 @default.
- W3049334089 hasConcept C202444582 @default.
- W3049334089 hasConcept C204321447 @default.
- W3049334089 hasConcept C2776235265 @default.
- W3049334089 hasConcept C2777686260 @default.
- W3049334089 hasConcept C33923547 @default.
- W3049334089 hasConcept C39920170 @default.
- W3049334089 hasConcept C41008148 @default.
- W3049334089 hasConcept C60048249 @default.
- W3049334089 hasConcept C69562738 @default.
- W3049334089 hasConcept C71924100 @default.
- W3049334089 hasConceptScore W3049334089C102315432 @default.
- W3049334089 hasConceptScore W3049334089C106624574 @default.
- W3049334089 hasConceptScore W3049334089C134306372 @default.
- W3049334089 hasConceptScore W3049334089C136119220 @default.
- W3049334089 hasConceptScore W3049334089C146499914 @default.
- W3049334089 hasConceptScore W3049334089C17231256 @default.
- W3049334089 hasConceptScore W3049334089C184337299 @default.
- W3049334089 hasConceptScore W3049334089C199343813 @default.
- W3049334089 hasConceptScore W3049334089C199360897 @default.
- W3049334089 hasConceptScore W3049334089C202444582 @default.
- W3049334089 hasConceptScore W3049334089C204321447 @default.
- W3049334089 hasConceptScore W3049334089C2776235265 @default.
- W3049334089 hasConceptScore W3049334089C2777686260 @default.
- W3049334089 hasConceptScore W3049334089C33923547 @default.
- W3049334089 hasConceptScore W3049334089C39920170 @default.
- W3049334089 hasConceptScore W3049334089C41008148 @default.
- W3049334089 hasConceptScore W3049334089C60048249 @default.
- W3049334089 hasConceptScore W3049334089C69562738 @default.
- W3049334089 hasConceptScore W3049334089C71924100 @default.
- W3049334089 hasLocation W30493340891 @default.
- W3049334089 hasOpenAccess W3049334089 @default.
- W3049334089 hasPrimaryLocation W30493340891 @default.
- W3049334089 hasRelatedWork W135120204 @default.
- W3049334089 hasRelatedWork W1993656429 @default.
- W3049334089 hasRelatedWork W2071793875 @default.
- W3049334089 hasRelatedWork W2129933223 @default.
- W3049334089 hasRelatedWork W2141010048 @default.
- W3049334089 hasRelatedWork W2185409361 @default.
- W3049334089 hasRelatedWork W2325566886 @default.
- W3049334089 hasRelatedWork W2953133541 @default.
- W3049334089 hasRelatedWork W4298974867 @default.
- W3049334089 hasRelatedWork W4381491930 @default.
- W3049334089 isParatext "false" @default.
- W3049334089 isRetracted "false" @default.
- W3049334089 magId "3049334089" @default.
- W3049334089 workType "book-chapter" @default.