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)
aggregation; disaggregation; extensionality; idempotence; conservativity; componentiality; Łukasiewicz extensionality
03B05: Classical propositional logic
03B22: Abstract deductive systems
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
Supervenience, Dependence, Disjunction, Idempotent variations on the theme of exclusive disjunction, When is a schema not a schema? On a remark by Suszko
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