Matches in SemOpenAlex for { <https://semopenalex.org/work/W2255607247> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2255607247 endingPage "258" @default.
- W2255607247 startingPage "255" @default.
- W2255607247 abstract "The well formed formulas (wffs) in classical formal system of propositional calculus (CPC) are only some formal symbols, whose meanings are given by an interpretation. A probabilistic logic system, based on a probabilistic space, is an event semantics for CPC, in which set operations are the semantic interpretations for connectives, event functions are the semantic interpretations for wffs, the event (set) inclusion $math$ is the semantic interpretation for tautological implication, and the event equality = is the semantic interpretation for tautological equivalence. CPC is applicable to probabilistic propositions completely. Event calculus instead of truth value (probability) calculus can be performed in CPC because there aren't truth value functions (operators) to interpret all connectives correctly." @default.
- W2255607247 created "2016-06-24" @default.
- W2255607247 creator A5032599900 @default.
- W2255607247 creator A5047098085 @default.
- W2255607247 date "2011-03-12" @default.
- W2255607247 modified "2023-09-23" @default.
- W2255607247 title "A Probabilistic Propositional Logic System is an Event Semantics for Classical Formal System of Propositional Calculus" @default.
- W2255607247 doi "https://doi.org/10.1109/etcs.2011.71" @default.
- W2255607247 hasPublicationYear "2011" @default.
- W2255607247 type Work @default.
- W2255607247 sameAs 2255607247 @default.
- W2255607247 citedByCount "0" @default.
- W2255607247 crossrefType "proceedings-article" @default.
- W2255607247 hasAuthorship W2255607247A5032599900 @default.
- W2255607247 hasAuthorship W2255607247A5047098085 @default.
- W2255607247 hasConcept C102993220 @default.
- W2255607247 hasConcept C118615104 @default.
- W2255607247 hasConcept C121332964 @default.
- W2255607247 hasConcept C14523651 @default.
- W2255607247 hasConcept C154945302 @default.
- W2255607247 hasConcept C184337299 @default.
- W2255607247 hasConcept C18460168 @default.
- W2255607247 hasConcept C191222856 @default.
- W2255607247 hasConcept C199343813 @default.
- W2255607247 hasConcept C199360897 @default.
- W2255607247 hasConcept C2777686260 @default.
- W2255607247 hasConcept C2779662365 @default.
- W2255607247 hasConcept C2780069185 @default.
- W2255607247 hasConcept C32241873 @default.
- W2255607247 hasConcept C33203268 @default.
- W2255607247 hasConcept C33923547 @default.
- W2255607247 hasConcept C37754750 @default.
- W2255607247 hasConcept C41008148 @default.
- W2255607247 hasConcept C46274116 @default.
- W2255607247 hasConcept C49937458 @default.
- W2255607247 hasConcept C527412718 @default.
- W2255607247 hasConcept C62520636 @default.
- W2255607247 hasConcept C69562738 @default.
- W2255607247 hasConcept C71924100 @default.
- W2255607247 hasConcept C74640108 @default.
- W2255607247 hasConcept C80444323 @default.
- W2255607247 hasConceptScore W2255607247C102993220 @default.
- W2255607247 hasConceptScore W2255607247C118615104 @default.
- W2255607247 hasConceptScore W2255607247C121332964 @default.
- W2255607247 hasConceptScore W2255607247C14523651 @default.
- W2255607247 hasConceptScore W2255607247C154945302 @default.
- W2255607247 hasConceptScore W2255607247C184337299 @default.
- W2255607247 hasConceptScore W2255607247C18460168 @default.
- W2255607247 hasConceptScore W2255607247C191222856 @default.
- W2255607247 hasConceptScore W2255607247C199343813 @default.
- W2255607247 hasConceptScore W2255607247C199360897 @default.
- W2255607247 hasConceptScore W2255607247C2777686260 @default.
- W2255607247 hasConceptScore W2255607247C2779662365 @default.
- W2255607247 hasConceptScore W2255607247C2780069185 @default.
- W2255607247 hasConceptScore W2255607247C32241873 @default.
- W2255607247 hasConceptScore W2255607247C33203268 @default.
- W2255607247 hasConceptScore W2255607247C33923547 @default.
- W2255607247 hasConceptScore W2255607247C37754750 @default.
- W2255607247 hasConceptScore W2255607247C41008148 @default.
- W2255607247 hasConceptScore W2255607247C46274116 @default.
- W2255607247 hasConceptScore W2255607247C49937458 @default.
- W2255607247 hasConceptScore W2255607247C527412718 @default.
- W2255607247 hasConceptScore W2255607247C62520636 @default.
- W2255607247 hasConceptScore W2255607247C69562738 @default.
- W2255607247 hasConceptScore W2255607247C71924100 @default.
- W2255607247 hasConceptScore W2255607247C74640108 @default.
- W2255607247 hasConceptScore W2255607247C80444323 @default.
- W2255607247 hasLocation W22556072471 @default.
- W2255607247 hasOpenAccess W2255607247 @default.
- W2255607247 hasPrimaryLocation W22556072471 @default.
- W2255607247 hasRelatedWork W104968263 @default.
- W2255607247 hasRelatedWork W1580176494 @default.
- W2255607247 hasRelatedWork W1760954332 @default.
- W2255607247 hasRelatedWork W1998807220 @default.
- W2255607247 hasRelatedWork W2018364537 @default.
- W2255607247 hasRelatedWork W2034396007 @default.
- W2255607247 hasRelatedWork W2057061521 @default.
- W2255607247 hasRelatedWork W2075399510 @default.
- W2255607247 hasRelatedWork W2114433604 @default.
- W2255607247 hasRelatedWork W2145814916 @default.
- W2255607247 hasRelatedWork W2180051890 @default.
- W2255607247 hasRelatedWork W2398217582 @default.
- W2255607247 hasRelatedWork W2888307280 @default.
- W2255607247 hasRelatedWork W2913260702 @default.
- W2255607247 hasRelatedWork W29657123 @default.
- W2255607247 hasRelatedWork W3047120837 @default.
- W2255607247 hasRelatedWork W3105499720 @default.
- W2255607247 hasRelatedWork W312113401 @default.
- W2255607247 hasRelatedWork W349421845 @default.
- W2255607247 hasRelatedWork W952444726 @default.
- W2255607247 isParatext "false" @default.
- W2255607247 isRetracted "false" @default.
- W2255607247 magId "2255607247" @default.
- W2255607247 workType "article" @default.