Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298974867> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4298974867 abstract "We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a proof-theoretic soundness and completeness proof, which we believe is conducive to automation." @default.
- W4298974867 created "2022-10-02" @default.
- W4298974867 creator A5057078382 @default.
- W4298974867 date "2011-04-03" @default.
- W4298974867 modified "2023-09-27" @default.
- W4298974867 title "Proof-Theoretic Soundness and Completeness" @default.
- W4298974867 doi "https://doi.org/10.48550/arxiv.1104.0379" @default.
- W4298974867 hasPublicationYear "2011" @default.
- W4298974867 type Work @default.
- W4298974867 citedByCount "0" @default.
- W4298974867 crossrefType "posted-content" @default.
- W4298974867 hasAuthorship W4298974867A5057078382 @default.
- W4298974867 hasBestOaLocation W42989748671 @default.
- W4298974867 hasConcept C108710211 @default.
- W4298974867 hasConcept C134306372 @default.
- W4298974867 hasConcept C17231256 @default.
- W4298974867 hasConcept C195653647 @default.
- W4298974867 hasConcept C199343813 @default.
- W4298974867 hasConcept C199360897 @default.
- W4298974867 hasConcept C2318724 @default.
- W4298974867 hasConcept C2524010 @default.
- W4298974867 hasConcept C2776235265 @default.
- W4298974867 hasConcept C2777686260 @default.
- W4298974867 hasConcept C33923547 @default.
- W4298974867 hasConcept C39920170 @default.
- W4298974867 hasConcept C41008148 @default.
- W4298974867 hasConcept C62073222 @default.
- W4298974867 hasConcept C6489637 @default.
- W4298974867 hasConcept C71924100 @default.
- W4298974867 hasConceptScore W4298974867C108710211 @default.
- W4298974867 hasConceptScore W4298974867C134306372 @default.
- W4298974867 hasConceptScore W4298974867C17231256 @default.
- W4298974867 hasConceptScore W4298974867C195653647 @default.
- W4298974867 hasConceptScore W4298974867C199343813 @default.
- W4298974867 hasConceptScore W4298974867C199360897 @default.
- W4298974867 hasConceptScore W4298974867C2318724 @default.
- W4298974867 hasConceptScore W4298974867C2524010 @default.
- W4298974867 hasConceptScore W4298974867C2776235265 @default.
- W4298974867 hasConceptScore W4298974867C2777686260 @default.
- W4298974867 hasConceptScore W4298974867C33923547 @default.
- W4298974867 hasConceptScore W4298974867C39920170 @default.
- W4298974867 hasConceptScore W4298974867C41008148 @default.
- W4298974867 hasConceptScore W4298974867C62073222 @default.
- W4298974867 hasConceptScore W4298974867C6489637 @default.
- W4298974867 hasConceptScore W4298974867C71924100 @default.
- W4298974867 hasLocation W42989748671 @default.
- W4298974867 hasOpenAccess W4298974867 @default.
- W4298974867 hasPrimaryLocation W42989748671 @default.
- W4298974867 hasRelatedWork W1502585746 @default.
- W4298974867 hasRelatedWork W1847686 @default.
- W4298974867 hasRelatedWork W2010649834 @default.
- W4298974867 hasRelatedWork W2129933223 @default.
- W4298974867 hasRelatedWork W2293455754 @default.
- W4298974867 hasRelatedWork W3134694630 @default.
- W4298974867 hasRelatedWork W3169616153 @default.
- W4298974867 hasRelatedWork W3212503723 @default.
- W4298974867 hasRelatedWork W4298974867 @default.
- W4298974867 hasRelatedWork W2079576159 @default.
- W4298974867 isParatext "false" @default.
- W4298974867 isRetracted "false" @default.
- W4298974867 workType "article" @default.