FRINK Linked Data Fragments server

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

• W1989174627 abstract "We provide results allowing to state, by the simple inspection of suitable classes of posets (propositional Kripke frames), that the corresponding intermediate propositional logics are maximal among the ones which satisfy the disjunction property. Starting from these results, we directly exhibit, without using the axiom of choice, the Kripke frames semantics of 2No maximal intermediate propositional logics with the disjunction property. This improves previous evaluations, giving rise to the same conclusion but made with an essential use of the axiom of choice, of the cardinality of the set of the maximal intermediate propositional logics with the disjunction property.Mathematics Subject Classification: 03B55, 03C90." @default.
• W1989174627 created "2016-06-24" @default.
• W1989174627 creator A5044453091 @default.
• W1989174627 creator A5057061762 @default.
• W1989174627 creator A5070582222 @default.
• W1989174627 date "1996-01-01" @default.
• W1989174627 modified "2023-09-23" @default.
• W1989174627 title "Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property" @default.
• W1989174627 cites W1968663039 @default.
• W1989174627 cites W2031507982 @default.
• W1989174627 cites W2035679371 @default.
• W1989174627 cites W2056412887 @default.
• W1989174627 cites W2056475779 @default.
• W1989174627 cites W2071950040 @default.
• W1989174627 cites W2073362032 @default.
• W1989174627 cites W2081524757 @default.
• W1989174627 cites W2243154890 @default.
• W1989174627 cites W4212792518 @default.
• W1989174627 doi "https://doi.org/10.1002/malq.19960420141" @default.
• W1989174627 hasPublicationYear "1996" @default.
• W1989174627 type Work @default.
• W1989174627 sameAs 1989174627 @default.
• W1989174627 citedByCount "1" @default.
• W1989174627 crossrefType "journal-article" @default.
• W1989174627 hasAuthorship W1989174627A5044453091 @default.
• W1989174627 hasAuthorship W1989174627A5057061762 @default.
• W1989174627 hasAuthorship W1989174627A5070582222 @default.
• W1989174627 hasConcept C102993220 @default.
• W1989174627 hasConcept C111472728 @default.
• W1989174627 hasConcept C118615104 @default.
• W1989174627 hasConcept C124101348 @default.
• W1989174627 hasConcept C138885662 @default.
• W1989174627 hasConcept C14523651 @default.
• W1989174627 hasConcept C151797676 @default.
• W1989174627 hasConcept C153046414 @default.
• W1989174627 hasConcept C154945302 @default.
• W1989174627 hasConcept C160131679 @default.
• W1989174627 hasConcept C167729594 @default.
• W1989174627 hasConcept C177264268 @default.
• W1989174627 hasConcept C1883856 @default.
• W1989174627 hasConcept C189950617 @default.
• W1989174627 hasConcept C199360897 @default.
• W1989174627 hasConcept C2524010 @default.
• W1989174627 hasConcept C33203268 @default.
• W1989174627 hasConcept C33923547 @default.
• W1989174627 hasConcept C41008148 @default.
• W1989174627 hasConcept C42011625 @default.
• W1989174627 hasConcept C5263885 @default.
• W1989174627 hasConcept C58166 @default.
• W1989174627 hasConcept C69562738 @default.
• W1989174627 hasConcept C74640108 @default.
• W1989174627 hasConcept C80444323 @default.
• W1989174627 hasConcept C86602344 @default.
• W1989174627 hasConcept C87117476 @default.
• W1989174627 hasConcept C98224912 @default.
• W1989174627 hasConceptScore W1989174627C102993220 @default.
• W1989174627 hasConceptScore W1989174627C111472728 @default.
• W1989174627 hasConceptScore W1989174627C118615104 @default.
• W1989174627 hasConceptScore W1989174627C124101348 @default.
• W1989174627 hasConceptScore W1989174627C138885662 @default.
• W1989174627 hasConceptScore W1989174627C14523651 @default.
• W1989174627 hasConceptScore W1989174627C151797676 @default.
• W1989174627 hasConceptScore W1989174627C153046414 @default.
• W1989174627 hasConceptScore W1989174627C154945302 @default.
• W1989174627 hasConceptScore W1989174627C160131679 @default.
• W1989174627 hasConceptScore W1989174627C167729594 @default.
• W1989174627 hasConceptScore W1989174627C177264268 @default.
• W1989174627 hasConceptScore W1989174627C1883856 @default.
• W1989174627 hasConceptScore W1989174627C189950617 @default.
• W1989174627 hasConceptScore W1989174627C199360897 @default.
• W1989174627 hasConceptScore W1989174627C2524010 @default.
• W1989174627 hasConceptScore W1989174627C33203268 @default.
• W1989174627 hasConceptScore W1989174627C33923547 @default.
• W1989174627 hasConceptScore W1989174627C41008148 @default.
• W1989174627 hasConceptScore W1989174627C42011625 @default.
• W1989174627 hasConceptScore W1989174627C5263885 @default.
• W1989174627 hasConceptScore W1989174627C58166 @default.
• W1989174627 hasConceptScore W1989174627C69562738 @default.
• W1989174627 hasConceptScore W1989174627C74640108 @default.
• W1989174627 hasConceptScore W1989174627C80444323 @default.
• W1989174627 hasConceptScore W1989174627C86602344 @default.
• W1989174627 hasConceptScore W1989174627C87117476 @default.
• W1989174627 hasConceptScore W1989174627C98224912 @default.
• W1989174627 hasLocation W19891746271 @default.
• W1989174627 hasOpenAccess W1989174627 @default.
• W1989174627 hasPrimaryLocation W19891746271 @default.
• W1989174627 hasRelatedWork W125654268 @default.
• W1989174627 hasRelatedWork W1506717067 @default.
• W1989174627 hasRelatedWork W1820758386 @default.
• W1989174627 hasRelatedWork W1977030765 @default.
• W1989174627 hasRelatedWork W1998807220 @default.
• W1989174627 hasRelatedWork W2010376212 @default.
• W1989174627 hasRelatedWork W2018364537 @default.
• W1989174627 hasRelatedWork W2019636538 @default.
• W1989174627 hasRelatedWork W2041930157 @default.
• W1989174627 hasRelatedWork W2043768724 @default.
• W1989174627 hasRelatedWork W2056412887 @default.
• W1989174627 hasRelatedWork W2071950040 @default.
• W1989174627 hasRelatedWork W2073362032 @default.
• W1989174627 hasRelatedWork W2106716518 @default.

• next