Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087811213> ?p ?o ?g. }
- W2087811213 endingPage "534" @default.
- W2087811213 startingPage "529" @default.
- W2087811213 abstract "There are well-known embeddings of intuitionistic logic into S4 and of classical logic into S5. In this paper we give a related embedding of (first order) classical logic directly into (first order) S4, with or without the Barcan formula. If one reads the necessity operator of S4 as ‘provable’, the translation may be roughly stated as: truth may be replaced by provable consistency. A proper statement will be found below. The proof is based ultimately on the notion of complete sequences used in Cohen's technique of forcing [1], and is given in terms of Kripke's model theory [3], [4]." @default.
- W2087811213 created "2016-06-24" @default.
- W2087811213 creator A5086117892 @default.
- W2087811213 date "1970-12-01" @default.
- W2087811213 modified "2023-09-27" @default.
- W2087811213 title "An embedding of classical logic in S4" @default.
- W2087811213 cites W1699512023 @default.
- W2087811213 cites W2075277371 @default.
- W2087811213 cites W4233253115 @default.
- W2087811213 cites W649438156 @default.
- W2087811213 doi "https://doi.org/10.2307/2271439" @default.
- W2087811213 hasPublicationYear "1970" @default.
- W2087811213 type Work @default.
- W2087811213 sameAs 2087811213 @default.
- W2087811213 citedByCount "16" @default.
- W2087811213 countsByYear W20878112132012 @default.
- W2087811213 countsByYear W20878112132013 @default.
- W2087811213 countsByYear W20878112132015 @default.
- W2087811213 countsByYear W20878112132016 @default.
- W2087811213 countsByYear W20878112132021 @default.
- W2087811213 countsByYear W20878112132022 @default.
- W2087811213 crossrefType "journal-article" @default.
- W2087811213 hasAuthorship W2087811213A5086117892 @default.
- W2087811213 hasConcept C102993220 @default.
- W2087811213 hasConcept C104317684 @default.
- W2087811213 hasConcept C105580179 @default.
- W2087811213 hasConcept C110039528 @default.
- W2087811213 hasConcept C111472728 @default.
- W2087811213 hasConcept C118615104 @default.
- W2087811213 hasConcept C134306372 @default.
- W2087811213 hasConcept C138885662 @default.
- W2087811213 hasConcept C149364088 @default.
- W2087811213 hasConcept C150889026 @default.
- W2087811213 hasConcept C154945302 @default.
- W2087811213 hasConcept C169896238 @default.
- W2087811213 hasConcept C171482190 @default.
- W2087811213 hasConcept C178421362 @default.
- W2087811213 hasConcept C185592680 @default.
- W2087811213 hasConcept C197115733 @default.
- W2087811213 hasConcept C199343813 @default.
- W2087811213 hasConcept C203659156 @default.
- W2087811213 hasConcept C2776436953 @default.
- W2087811213 hasConcept C2777026412 @default.
- W2087811213 hasConcept C2777686260 @default.
- W2087811213 hasConcept C32241873 @default.
- W2087811213 hasConcept C33203268 @default.
- W2087811213 hasConcept C33923547 @default.
- W2087811213 hasConcept C41008148 @default.
- W2087811213 hasConcept C41608201 @default.
- W2087811213 hasConcept C55493867 @default.
- W2087811213 hasConcept C69562738 @default.
- W2087811213 hasConcept C71924100 @default.
- W2087811213 hasConceptScore W2087811213C102993220 @default.
- W2087811213 hasConceptScore W2087811213C104317684 @default.
- W2087811213 hasConceptScore W2087811213C105580179 @default.
- W2087811213 hasConceptScore W2087811213C110039528 @default.
- W2087811213 hasConceptScore W2087811213C111472728 @default.
- W2087811213 hasConceptScore W2087811213C118615104 @default.
- W2087811213 hasConceptScore W2087811213C134306372 @default.
- W2087811213 hasConceptScore W2087811213C138885662 @default.
- W2087811213 hasConceptScore W2087811213C149364088 @default.
- W2087811213 hasConceptScore W2087811213C150889026 @default.
- W2087811213 hasConceptScore W2087811213C154945302 @default.
- W2087811213 hasConceptScore W2087811213C169896238 @default.
- W2087811213 hasConceptScore W2087811213C171482190 @default.
- W2087811213 hasConceptScore W2087811213C178421362 @default.
- W2087811213 hasConceptScore W2087811213C185592680 @default.
- W2087811213 hasConceptScore W2087811213C197115733 @default.
- W2087811213 hasConceptScore W2087811213C199343813 @default.
- W2087811213 hasConceptScore W2087811213C203659156 @default.
- W2087811213 hasConceptScore W2087811213C2776436953 @default.
- W2087811213 hasConceptScore W2087811213C2777026412 @default.
- W2087811213 hasConceptScore W2087811213C2777686260 @default.
- W2087811213 hasConceptScore W2087811213C32241873 @default.
- W2087811213 hasConceptScore W2087811213C33203268 @default.
- W2087811213 hasConceptScore W2087811213C33923547 @default.
- W2087811213 hasConceptScore W2087811213C41008148 @default.
- W2087811213 hasConceptScore W2087811213C41608201 @default.
- W2087811213 hasConceptScore W2087811213C55493867 @default.
- W2087811213 hasConceptScore W2087811213C69562738 @default.
- W2087811213 hasConceptScore W2087811213C71924100 @default.
- W2087811213 hasIssue "4" @default.
- W2087811213 hasLocation W20878112131 @default.
- W2087811213 hasOpenAccess W2087811213 @default.
- W2087811213 hasPrimaryLocation W20878112131 @default.
- W2087811213 hasRelatedWork W1533537820 @default.
- W2087811213 hasRelatedWork W1563093831 @default.
- W2087811213 hasRelatedWork W2036407372 @default.
- W2087811213 hasRelatedWork W2119207094 @default.
- W2087811213 hasRelatedWork W277882725 @default.
- W2087811213 hasRelatedWork W2897239477 @default.
- W2087811213 hasRelatedWork W2914809917 @default.
- W2087811213 hasRelatedWork W3027956517 @default.
- W2087811213 hasRelatedWork W4300953187 @default.
- W2087811213 hasRelatedWork W2524645940 @default.
- W2087811213 hasVolume "35" @default.
- W2087811213 isParatext "false" @default.
- W2087811213 isRetracted "false" @default.