FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2409304415> ?p ?o ?g. }

• W2409304415 abstract "Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index." @default.
• W2409304415 created "2016-06-24" @default.
• W2409304415 creator A5055210751 @default.
• W2409304415 date "2002-01-01" @default.
• W2409304415 modified "2023-10-01" @default.
• W2409304415 title "A Short Introduction to Intuitionistic Logic" @default.
• W2409304415 doi "https://doi.org/10.1007/b115304" @default.
• W2409304415 hasPublicationYear "2002" @default.
• W2409304415 type Work @default.
• W2409304415 sameAs 2409304415 @default.
• W2409304415 citedByCount "50" @default.
• W2409304415 countsByYear W24093044152012 @default.
• W2409304415 countsByYear W24093044152013 @default.
• W2409304415 countsByYear W24093044152014 @default.
• W2409304415 countsByYear W24093044152015 @default.
• W2409304415 countsByYear W24093044152016 @default.
• W2409304415 countsByYear W24093044152017 @default.
• W2409304415 countsByYear W24093044152018 @default.
• W2409304415 countsByYear W24093044152019 @default.
• W2409304415 countsByYear W24093044152020 @default.
• W2409304415 countsByYear W24093044152021 @default.
• W2409304415 countsByYear W24093044152022 @default.
• W2409304415 crossrefType "book" @default.
• W2409304415 hasAuthorship W2409304415A5055210751 @default.
• W2409304415 hasConcept C102993220 @default.
• W2409304415 hasConcept C110039528 @default.
• W2409304415 hasConcept C118615104 @default.
• W2409304415 hasConcept C121332964 @default.
• W2409304415 hasConcept C14523651 @default.
• W2409304415 hasConcept C150889026 @default.
• W2409304415 hasConcept C154945302 @default.
• W2409304415 hasConcept C160131679 @default.
• W2409304415 hasConcept C165801399 @default.
• W2409304415 hasConcept C171482190 @default.
• W2409304415 hasConcept C172385210 @default.
• W2409304415 hasConcept C178421362 @default.
• W2409304415 hasConcept C19689857 @default.
• W2409304415 hasConcept C199343813 @default.
• W2409304415 hasConcept C200116569 @default.
• W2409304415 hasConcept C203659156 @default.
• W2409304415 hasConcept C2777686260 @default.
• W2409304415 hasConcept C2777796570 @default.
• W2409304415 hasConcept C33203268 @default.
• W2409304415 hasConcept C33923547 @default.
• W2409304415 hasConcept C41008148 @default.
• W2409304415 hasConcept C62073222 @default.
• W2409304415 hasConcept C62520636 @default.
• W2409304415 hasConcept C69562738 @default.
• W2409304415 hasConcept C71924100 @default.
• W2409304415 hasConceptScore W2409304415C102993220 @default.
• W2409304415 hasConceptScore W2409304415C110039528 @default.
• W2409304415 hasConceptScore W2409304415C118615104 @default.
• W2409304415 hasConceptScore W2409304415C121332964 @default.
• W2409304415 hasConceptScore W2409304415C14523651 @default.
• W2409304415 hasConceptScore W2409304415C150889026 @default.
• W2409304415 hasConceptScore W2409304415C154945302 @default.
• W2409304415 hasConceptScore W2409304415C160131679 @default.
• W2409304415 hasConceptScore W2409304415C165801399 @default.
• W2409304415 hasConceptScore W2409304415C171482190 @default.
• W2409304415 hasConceptScore W2409304415C172385210 @default.
• W2409304415 hasConceptScore W2409304415C178421362 @default.
• W2409304415 hasConceptScore W2409304415C19689857 @default.
• W2409304415 hasConceptScore W2409304415C199343813 @default.
• W2409304415 hasConceptScore W2409304415C200116569 @default.
• W2409304415 hasConceptScore W2409304415C203659156 @default.
• W2409304415 hasConceptScore W2409304415C2777686260 @default.
• W2409304415 hasConceptScore W2409304415C2777796570 @default.
• W2409304415 hasConceptScore W2409304415C33203268 @default.
• W2409304415 hasConceptScore W2409304415C33923547 @default.
• W2409304415 hasConceptScore W2409304415C41008148 @default.
• W2409304415 hasConceptScore W2409304415C62073222 @default.
• W2409304415 hasConceptScore W2409304415C62520636 @default.
• W2409304415 hasConceptScore W2409304415C69562738 @default.
• W2409304415 hasConceptScore W2409304415C71924100 @default.
• W2409304415 hasLocation W24093044151 @default.
• W2409304415 hasOpenAccess W2409304415 @default.
• W2409304415 hasPrimaryLocation W24093044151 @default.
• W2409304415 hasRelatedWork W1545756346 @default.
• W2409304415 hasRelatedWork W1564327923 @default.
• W2409304415 hasRelatedWork W1699512023 @default.
• W2409304415 hasRelatedWork W1795577507 @default.
• W2409304415 hasRelatedWork W1998261607 @default.
• W2409304415 hasRelatedWork W2007096790 @default.
• W2409304415 hasRelatedWork W2036685181 @default.
• W2409304415 hasRelatedWork W2038737679 @default.
• W2409304415 hasRelatedWork W2050527500 @default.
• W2409304415 hasRelatedWork W2051609898 @default.
• W2409304415 hasRelatedWork W2135986646 @default.
• W2409304415 hasRelatedWork W2140830696 @default.
• W2409304415 hasRelatedWork W2143326093 @default.
• W2409304415 hasRelatedWork W2145117211 @default.
• W2409304415 hasRelatedWork W2163197731 @default.
• W2409304415 hasRelatedWork W2610670723 @default.
• W2409304415 hasRelatedWork W26253884 @default.
• W2409304415 hasRelatedWork W3151670155 @default.
• W2409304415 hasRelatedWork W3158093902 @default.
• W2409304415 hasRelatedWork W2547196472 @default.
• W2409304415 isParatext "false" @default.
• W2409304415 isRetracted "false" @default.
• W2409304415 magId "2409304415" @default.

• next