Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519800800> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1519800800 abstract "Part 1 Prerequisites: sets inductive definitions and proofs notations. Part 2 Classical propositional logic: propositions and connectives propositional language semantics tautological consequence formal deduction disjunctive and conjunctive normal forms adequate sets of connectives. Part 3 Classical first-order logic: proposition functions and quantifiers first-order language semantics logical consequence formal deduction prenex normal form. Part 4 Axiomatic deduction system: axiomatic deduction system relation between the two deduction systems. Part 5 Soundness and completeness: satisfiability and validity soundness completeness of propositional logic completeness of first-order logic completeness of first-order logic with equality independence. Part 6 Compactness, Lowenheim-Skolem, and Herbrand theorems: compactness Lowenheim-Skolem's theorem Herbrand's theorem. Part 7 Constructive logic: constructivity of proofs semantics formal deduction soundness completeness. Part 8 Modal propositional logic: modal propositional language semantics formal deduction soundness completeness of T completeness of S4, B, S5. Part 9 Modal first-order logic: modal first-order language semantics formal deduction soundness completeness equality." @default.
- W1519800800 created "2016-06-24" @default.
- W1519800800 creator A5027412698 @default.
- W1519800800 date "1989-07-01" @default.
- W1519800800 modified "2023-09-25" @default.
- W1519800800 title "Mathematical Logic for Computer Science" @default.
- W1519800800 doi "https://doi.org/10.1142/0388" @default.
- W1519800800 hasPublicationYear "1989" @default.
- W1519800800 type Work @default.
- W1519800800 sameAs 1519800800 @default.
- W1519800800 citedByCount "0" @default.
- W1519800800 crossrefType "monograph" @default.
- W1519800800 hasAuthorship W1519800800A5027412698 @default.
- W1519800800 hasConcept C100481476 @default.
- W1519800800 hasConcept C102993220 @default.
- W1519800800 hasConcept C110039528 @default.
- W1519800800 hasConcept C118615104 @default.
- W1519800800 hasConcept C121332964 @default.
- W1519800800 hasConcept C134306372 @default.
- W1519800800 hasConcept C14523651 @default.
- W1519800800 hasConcept C165801399 @default.
- W1519800800 hasConcept C17231256 @default.
- W1519800800 hasConcept C172385210 @default.
- W1519800800 hasConcept C185592680 @default.
- W1519800800 hasConcept C188027245 @default.
- W1519800800 hasConcept C191222856 @default.
- W1519800800 hasConcept C199343813 @default.
- W1519800800 hasConcept C199360897 @default.
- W1519800800 hasConcept C200116569 @default.
- W1519800800 hasConcept C203659156 @default.
- W1519800800 hasConcept C27508121 @default.
- W1519800800 hasConcept C2777686260 @default.
- W1519800800 hasConcept C2777796570 @default.
- W1519800800 hasConcept C33203268 @default.
- W1519800800 hasConcept C33923547 @default.
- W1519800800 hasConcept C3845977 @default.
- W1519800800 hasConcept C39920170 @default.
- W1519800800 hasConcept C41008148 @default.
- W1519800800 hasConcept C62520636 @default.
- W1519800800 hasConcept C71139939 @default.
- W1519800800 hasConcept C71924100 @default.
- W1519800800 hasConceptScore W1519800800C100481476 @default.
- W1519800800 hasConceptScore W1519800800C102993220 @default.
- W1519800800 hasConceptScore W1519800800C110039528 @default.
- W1519800800 hasConceptScore W1519800800C118615104 @default.
- W1519800800 hasConceptScore W1519800800C121332964 @default.
- W1519800800 hasConceptScore W1519800800C134306372 @default.
- W1519800800 hasConceptScore W1519800800C14523651 @default.
- W1519800800 hasConceptScore W1519800800C165801399 @default.
- W1519800800 hasConceptScore W1519800800C17231256 @default.
- W1519800800 hasConceptScore W1519800800C172385210 @default.
- W1519800800 hasConceptScore W1519800800C185592680 @default.
- W1519800800 hasConceptScore W1519800800C188027245 @default.
- W1519800800 hasConceptScore W1519800800C191222856 @default.
- W1519800800 hasConceptScore W1519800800C199343813 @default.
- W1519800800 hasConceptScore W1519800800C199360897 @default.
- W1519800800 hasConceptScore W1519800800C200116569 @default.
- W1519800800 hasConceptScore W1519800800C203659156 @default.
- W1519800800 hasConceptScore W1519800800C27508121 @default.
- W1519800800 hasConceptScore W1519800800C2777686260 @default.
- W1519800800 hasConceptScore W1519800800C2777796570 @default.
- W1519800800 hasConceptScore W1519800800C33203268 @default.
- W1519800800 hasConceptScore W1519800800C33923547 @default.
- W1519800800 hasConceptScore W1519800800C3845977 @default.
- W1519800800 hasConceptScore W1519800800C39920170 @default.
- W1519800800 hasConceptScore W1519800800C41008148 @default.
- W1519800800 hasConceptScore W1519800800C62520636 @default.
- W1519800800 hasConceptScore W1519800800C71139939 @default.
- W1519800800 hasConceptScore W1519800800C71924100 @default.
- W1519800800 hasLocation W15198008001 @default.
- W1519800800 hasOpenAccess W1519800800 @default.
- W1519800800 hasPrimaryLocation W15198008001 @default.
- W1519800800 hasRelatedWork W1519702305 @default.
- W1519800800 hasRelatedWork W1552653022 @default.
- W1519800800 hasRelatedWork W1570848118 @default.
- W1519800800 hasRelatedWork W1577123288 @default.
- W1519800800 hasRelatedWork W1594285439 @default.
- W1519800800 hasRelatedWork W1637797830 @default.
- W1519800800 hasRelatedWork W1764605087 @default.
- W1519800800 hasRelatedWork W2055558461 @default.
- W1519800800 hasRelatedWork W2070878538 @default.
- W1519800800 hasRelatedWork W2172664514 @default.
- W1519800800 hasRelatedWork W2198307418 @default.
- W1519800800 hasRelatedWork W2593187777 @default.
- W1519800800 hasRelatedWork W2896709287 @default.
- W1519800800 hasRelatedWork W3158496506 @default.
- W1519800800 hasRelatedWork W3208200734 @default.
- W1519800800 hasRelatedWork W37321625 @default.
- W1519800800 hasRelatedWork W602757962 @default.
- W1519800800 hasRelatedWork W651576628 @default.
- W1519800800 hasRelatedWork W656515253 @default.
- W1519800800 hasRelatedWork W2108887947 @default.
- W1519800800 isParatext "false" @default.
- W1519800800 isRetracted "false" @default.
- W1519800800 magId "1519800800" @default.
- W1519800800 workType "book" @default.