AGGREGATION AND IDEMPOTENCE
From MaRDI portal
Publication:5414137
DOI10.1017/S175502031300021XzbMath1368.03015MaRDI QIDQ5414137
Publication date: 2 May 2014
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
aggregationdisaggregationextensionalityidempotenceconservativitycomponentialityŁukasiewicz extensionality
Classical propositional logic (03B05) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (3)
Supervenience, Dependence, Disjunction ⋮ When is a schema not a schema? On a remark by Suszko ⋮ Idempotent variations on the theme of exclusive disjunction
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- Residuated lattices. An algebraic glimpse at substructural logics
- A calculus for the common rules of \(\wedge\) and \(\vee\)
- Abelian logic and the logics of pointed lattice-ordered varieties
- A survey of clones on infinite sets
- Semantical investigations in Heyting's intuitionistic logic
- Singulary extensional connectives: A closer look
- Fragments of R-mingle
- Replacement in logic
- Equations of tournaments are not finitely based
- Conservative extension in relevant implication
- Some remarks on categorical algebras
- A propositional calculus with denumerable matrix
- A semantic characterization of natural language determiners
- Relative necessity
- Some results for implicational calculi
- Free L-algebras
- Algebraic completeness results for R-mingle and its extensions
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Protoalgebraic logics
This page was built for publication: AGGREGATION AND IDEMPOTENCE