Matches in SemOpenAlex for { <https://semopenalex.org/work/W4213007706> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4213007706 endingPage "76" @default.
- W4213007706 startingPage "17" @default.
- W4213007706 abstract "According to Frege's principle the denotation of a sentence coincides with its truth-value. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A deductive system is a second-order matrix over the formula algebra of some fixed but arbitrary language. A second-order matrix A is Fregean if, for any subset X of A, the set of all pairs 〈a,b〉 such that X∪{a} and X∪{b} have the same closure is a congruence relation on A. Hence a deductive system is Fregean if interderivability is compositional. The logics intermediate between the classical and intuitionistic propositional calculi are the paradigms for Fregean logics. Normal modal logics are non-Fregean while quasi-normal modal logics are generally Fregean. The main results of the paper: Fregean deductive systems that either have the deduction theorem, or are protoalgebraic and have conjunction, are completely characterized. They are essentially the intermediate logics, possibly with additional connectives. All the full matrix models of a protoalgebraic Fregean deductive system are Fregean, and, conversely, the deductive system determined by any class of Fregean second-order matrices is Fregean. The latter result is used to construct an example of a protoalgebraic Fregean deductive system that is not strongly algebraizable." @default.
- W4213007706 created "2022-02-24" @default.
- W4213007706 creator A5006929252 @default.
- W4213007706 creator A5078414060 @default.
- W4213007706 date "2004-06-01" @default.
- W4213007706 modified "2023-09-27" @default.
- W4213007706 title "Fregean logics" @default.
- W4213007706 cites W1015101577 @default.
- W4213007706 cites W1518264298 @default.
- W4213007706 cites W1549937211 @default.
- W4213007706 cites W1973517051 @default.
- W4213007706 cites W197729581 @default.
- W4213007706 cites W1985901092 @default.
- W4213007706 cites W1994792099 @default.
- W4213007706 cites W2006426192 @default.
- W4213007706 cites W2007863954 @default.
- W4213007706 cites W2033688127 @default.
- W4213007706 cites W2039426105 @default.
- W4213007706 cites W2044819329 @default.
- W4213007706 cites W2085660860 @default.
- W4213007706 cites W2090474572 @default.
- W4213007706 cites W2091870191 @default.
- W4213007706 cites W2093865192 @default.
- W4213007706 cites W2095704391 @default.
- W4213007706 cites W2118731070 @default.
- W4213007706 cites W2171167216 @default.
- W4213007706 cites W2599657867 @default.
- W4213007706 cites W4205462352 @default.
- W4213007706 cites W4231153836 @default.
- W4213007706 cites W4247128566 @default.
- W4213007706 cites W4247559916 @default.
- W4213007706 cites W4252113473 @default.
- W4213007706 cites W762084561 @default.
- W4213007706 doi "https://doi.org/10.1016/j.apal.2003.11.008" @default.
- W4213007706 hasPublicationYear "2004" @default.
- W4213007706 type Work @default.
- W4213007706 citedByCount "42" @default.
- W4213007706 countsByYear W42130077062013 @default.
- W4213007706 countsByYear W42130077062014 @default.
- W4213007706 countsByYear W42130077062015 @default.
- W4213007706 countsByYear W42130077062017 @default.
- W4213007706 countsByYear W42130077062018 @default.
- W4213007706 countsByYear W42130077062019 @default.
- W4213007706 countsByYear W42130077062020 @default.
- W4213007706 countsByYear W42130077062021 @default.
- W4213007706 countsByYear W42130077062022 @default.
- W4213007706 countsByYear W42130077062023 @default.
- W4213007706 crossrefType "journal-article" @default.
- W4213007706 hasAuthorship W4213007706A5006929252 @default.
- W4213007706 hasAuthorship W4213007706A5078414060 @default.
- W4213007706 hasConcept C136119220 @default.
- W4213007706 hasConcept C138885662 @default.
- W4213007706 hasConcept C202444582 @default.
- W4213007706 hasConcept C33923547 @default.
- W4213007706 hasConcept C41895202 @default.
- W4213007706 hasConcept C46274116 @default.
- W4213007706 hasConceptScore W4213007706C136119220 @default.
- W4213007706 hasConceptScore W4213007706C138885662 @default.
- W4213007706 hasConceptScore W4213007706C202444582 @default.
- W4213007706 hasConceptScore W4213007706C33923547 @default.
- W4213007706 hasConceptScore W4213007706C41895202 @default.
- W4213007706 hasConceptScore W4213007706C46274116 @default.
- W4213007706 hasIssue "1-3" @default.
- W4213007706 hasLocation W42130077061 @default.
- W4213007706 hasOpenAccess W4213007706 @default.
- W4213007706 hasPrimaryLocation W42130077061 @default.
- W4213007706 hasRelatedWork W1989372642 @default.
- W4213007706 hasRelatedWork W2063829785 @default.
- W4213007706 hasRelatedWork W2105687903 @default.
- W4213007706 hasRelatedWork W2320881711 @default.
- W4213007706 hasRelatedWork W2332694326 @default.
- W4213007706 hasRelatedWork W2913338188 @default.
- W4213007706 hasRelatedWork W2939071790 @default.
- W4213007706 hasRelatedWork W3046926816 @default.
- W4213007706 hasRelatedWork W4214671562 @default.
- W4213007706 hasRelatedWork W4249089511 @default.
- W4213007706 hasVolume "127" @default.
- W4213007706 isParatext "false" @default.
- W4213007706 isRetracted "false" @default.
- W4213007706 workType "article" @default.