Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000122319> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2000122319 abstract "This paper continues the investigation of rudimentary Kripke models, i.e. non-quasiordered Kripke-style models for the Heyting propositional calculus H. Three topics, which make three companion pieces of [3], are pursued. The first topic is Beth-style models for H called rudimentary Beth models. Rudimentary Kripke models may be conceived as a particular type of these models, which are analogous to rudimentary Kripke models in not assuming quasi-ordering for the underlying frames. The second topic is a first step into the correspondence theory for rudimentary Kripke models. It is shown what conditions on frames are now defined by the characteristic schemata of Dummett's logic, the logic of weak excluded middle and classical propositional logic. The third topic is a generalization of rudimentary Kripke models that yields models called conditionally rudimentary Kripke models. It is shown that, if we don't want to change the usual semantic clauses for the connectives, conditionally rudimentary Kripke models make the largest class of Kripkestyle models with respect to which we can demonstrate the ordinary soundness and completeness of H." @default.
- W2000122319 created "2016-06-24" @default.
- W2000122319 creator A5008416211 @default.
- W2000122319 date "1991-01-01" @default.
- W2000122319 modified "2023-09-23" @default.
- W2000122319 title "Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus" @default.
- W2000122319 cites W2069357662 @default.
- W2000122319 doi "https://doi.org/10.1093/logcom/1.5.613" @default.
- W2000122319 hasPublicationYear "1991" @default.
- W2000122319 type Work @default.
- W2000122319 sameAs 2000122319 @default.
- W2000122319 citedByCount "4" @default.
- W2000122319 crossrefType "journal-article" @default.
- W2000122319 hasAuthorship W2000122319A5008416211 @default.
- W2000122319 hasConcept C102993220 @default.
- W2000122319 hasConcept C110251889 @default.
- W2000122319 hasConcept C111472728 @default.
- W2000122319 hasConcept C11413529 @default.
- W2000122319 hasConcept C118615104 @default.
- W2000122319 hasConcept C138885662 @default.
- W2000122319 hasConcept C154945302 @default.
- W2000122319 hasConcept C160131679 @default.
- W2000122319 hasConcept C161913894 @default.
- W2000122319 hasConcept C177148314 @default.
- W2000122319 hasConcept C178421362 @default.
- W2000122319 hasConcept C185592680 @default.
- W2000122319 hasConcept C188027245 @default.
- W2000122319 hasConcept C199343813 @default.
- W2000122319 hasConcept C27508121 @default.
- W2000122319 hasConcept C2777686260 @default.
- W2000122319 hasConcept C33203268 @default.
- W2000122319 hasConcept C33923547 @default.
- W2000122319 hasConcept C39920170 @default.
- W2000122319 hasConcept C41008148 @default.
- W2000122319 hasConcept C41895202 @default.
- W2000122319 hasConcept C69562738 @default.
- W2000122319 hasConcept C71139939 @default.
- W2000122319 hasConcept C71924100 @default.
- W2000122319 hasConceptScore W2000122319C102993220 @default.
- W2000122319 hasConceptScore W2000122319C110251889 @default.
- W2000122319 hasConceptScore W2000122319C111472728 @default.
- W2000122319 hasConceptScore W2000122319C11413529 @default.
- W2000122319 hasConceptScore W2000122319C118615104 @default.
- W2000122319 hasConceptScore W2000122319C138885662 @default.
- W2000122319 hasConceptScore W2000122319C154945302 @default.
- W2000122319 hasConceptScore W2000122319C160131679 @default.
- W2000122319 hasConceptScore W2000122319C161913894 @default.
- W2000122319 hasConceptScore W2000122319C177148314 @default.
- W2000122319 hasConceptScore W2000122319C178421362 @default.
- W2000122319 hasConceptScore W2000122319C185592680 @default.
- W2000122319 hasConceptScore W2000122319C188027245 @default.
- W2000122319 hasConceptScore W2000122319C199343813 @default.
- W2000122319 hasConceptScore W2000122319C27508121 @default.
- W2000122319 hasConceptScore W2000122319C2777686260 @default.
- W2000122319 hasConceptScore W2000122319C33203268 @default.
- W2000122319 hasConceptScore W2000122319C33923547 @default.
- W2000122319 hasConceptScore W2000122319C39920170 @default.
- W2000122319 hasConceptScore W2000122319C41008148 @default.
- W2000122319 hasConceptScore W2000122319C41895202 @default.
- W2000122319 hasConceptScore W2000122319C69562738 @default.
- W2000122319 hasConceptScore W2000122319C71139939 @default.
- W2000122319 hasConceptScore W2000122319C71924100 @default.
- W2000122319 hasLocation W20001223191 @default.
- W2000122319 hasOpenAccess W2000122319 @default.
- W2000122319 hasPrimaryLocation W20001223191 @default.
- W2000122319 hasRelatedWork W125654268 @default.
- W2000122319 hasRelatedWork W1583848363 @default.
- W2000122319 hasRelatedWork W185309469 @default.
- W2000122319 hasRelatedWork W1968352517 @default.
- W2000122319 hasRelatedWork W1970635105 @default.
- W2000122319 hasRelatedWork W1977030765 @default.
- W2000122319 hasRelatedWork W1984852785 @default.
- W2000122319 hasRelatedWork W2041930157 @default.
- W2000122319 hasRelatedWork W206382595 @default.
- W2000122319 hasRelatedWork W2082707306 @default.
- W2000122319 hasRelatedWork W2099358884 @default.
- W2000122319 hasRelatedWork W2107692756 @default.
- W2000122319 hasRelatedWork W2153604707 @default.
- W2000122319 hasRelatedWork W2171784431 @default.
- W2000122319 hasRelatedWork W2180051890 @default.
- W2000122319 hasRelatedWork W2189183945 @default.
- W2000122319 hasRelatedWork W2782001321 @default.
- W2000122319 hasRelatedWork W3121918951 @default.
- W2000122319 hasRelatedWork W3181566997 @default.
- W2000122319 hasRelatedWork W572973260 @default.
- W2000122319 isParatext "false" @default.
- W2000122319 isRetracted "false" @default.
- W2000122319 magId "2000122319" @default.
- W2000122319 workType "article" @default.