Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137092920> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2137092920 endingPage "248" @default.
- W2137092920 startingPage "233" @default.
- W2137092920 abstract "A syntactic machinery is developed for π-institutions based on the notion of a category of natural transformations on their sentence functors. Rules of inference, similar to the ones traditionally used in the sentential logic framework to define the best known sentential logics, are, then, introduced for π-institutions. A π-institution is said to be rule-based if its closure system is induced by a collection of rules of inference. A logical matrix-like semantics is introduced for rule-based π-institutions and a version of Bloom's Lemma and Bloom's Theorem are proved for rule-based π-institutions." @default.
- W2137092920 created "2016-06-24" @default.
- W2137092920 creator A5078947872 @default.
- W2137092920 date "2008-02-26" @default.
- W2137092920 modified "2023-09-27" @default.
- W2137092920 title "Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based -Institutions" @default.
- W2137092920 cites W1531377243 @default.
- W2137092920 cites W1591960753 @default.
- W2137092920 cites W1847493312 @default.
- W2137092920 cites W2021257181 @default.
- W2137092920 cites W2077395144 @default.
- W2137092920 cites W2095367681 @default.
- W2137092920 cites W2120713972 @default.
- W2137092920 cites W2153500812 @default.
- W2137092920 cites W2253467077 @default.
- W2137092920 cites W2493333586 @default.
- W2137092920 cites W2799061192 @default.
- W2137092920 doi "https://doi.org/10.1093/jigpal/jzn002" @default.
- W2137092920 hasPublicationYear "2008" @default.
- W2137092920 type Work @default.
- W2137092920 sameAs 2137092920 @default.
- W2137092920 citedByCount "4" @default.
- W2137092920 countsByYear W21370929202013 @default.
- W2137092920 crossrefType "journal-article" @default.
- W2137092920 hasAuthorship W2137092920A5078947872 @default.
- W2137092920 hasConcept C105795698 @default.
- W2137092920 hasConcept C118615104 @default.
- W2137092920 hasConcept C134306372 @default.
- W2137092920 hasConcept C136119220 @default.
- W2137092920 hasConcept C138268822 @default.
- W2137092920 hasConcept C154945302 @default.
- W2137092920 hasConcept C156772000 @default.
- W2137092920 hasConcept C17744445 @default.
- W2137092920 hasConcept C18903297 @default.
- W2137092920 hasConcept C199539241 @default.
- W2137092920 hasConcept C202444582 @default.
- W2137092920 hasConcept C2777530160 @default.
- W2137092920 hasConcept C2777759810 @default.
- W2137092920 hasConcept C2779729104 @default.
- W2137092920 hasConcept C2780510313 @default.
- W2137092920 hasConcept C33923547 @default.
- W2137092920 hasConcept C3746660 @default.
- W2137092920 hasConcept C41008148 @default.
- W2137092920 hasConcept C46757340 @default.
- W2137092920 hasConcept C5274069 @default.
- W2137092920 hasConcept C86803240 @default.
- W2137092920 hasConcept C9376300 @default.
- W2137092920 hasConceptScore W2137092920C105795698 @default.
- W2137092920 hasConceptScore W2137092920C118615104 @default.
- W2137092920 hasConceptScore W2137092920C134306372 @default.
- W2137092920 hasConceptScore W2137092920C136119220 @default.
- W2137092920 hasConceptScore W2137092920C138268822 @default.
- W2137092920 hasConceptScore W2137092920C154945302 @default.
- W2137092920 hasConceptScore W2137092920C156772000 @default.
- W2137092920 hasConceptScore W2137092920C17744445 @default.
- W2137092920 hasConceptScore W2137092920C18903297 @default.
- W2137092920 hasConceptScore W2137092920C199539241 @default.
- W2137092920 hasConceptScore W2137092920C202444582 @default.
- W2137092920 hasConceptScore W2137092920C2777530160 @default.
- W2137092920 hasConceptScore W2137092920C2777759810 @default.
- W2137092920 hasConceptScore W2137092920C2779729104 @default.
- W2137092920 hasConceptScore W2137092920C2780510313 @default.
- W2137092920 hasConceptScore W2137092920C33923547 @default.
- W2137092920 hasConceptScore W2137092920C3746660 @default.
- W2137092920 hasConceptScore W2137092920C41008148 @default.
- W2137092920 hasConceptScore W2137092920C46757340 @default.
- W2137092920 hasConceptScore W2137092920C5274069 @default.
- W2137092920 hasConceptScore W2137092920C86803240 @default.
- W2137092920 hasConceptScore W2137092920C9376300 @default.
- W2137092920 hasIssue "3" @default.
- W2137092920 hasLocation W21370929201 @default.
- W2137092920 hasOpenAccess W2137092920 @default.
- W2137092920 hasPrimaryLocation W21370929201 @default.
- W2137092920 hasRelatedWork W1545848507 @default.
- W2137092920 hasRelatedWork W1996301369 @default.
- W2137092920 hasRelatedWork W2007486200 @default.
- W2137092920 hasRelatedWork W2041199067 @default.
- W2137092920 hasRelatedWork W2068856711 @default.
- W2137092920 hasRelatedWork W2094993318 @default.
- W2137092920 hasRelatedWork W2177703916 @default.
- W2137092920 hasRelatedWork W2493333586 @default.
- W2137092920 hasRelatedWork W2885964212 @default.
- W2137092920 hasRelatedWork W4287734682 @default.
- W2137092920 hasVolume "16" @default.
- W2137092920 isParatext "false" @default.
- W2137092920 isRetracted "false" @default.
- W2137092920 magId "2137092920" @default.
- W2137092920 workType "article" @default.