FREGEAN VARIETIES
From MaRDI portal
Publication:3398314
DOI10.1142/S0218196709005251zbMath1178.08001MaRDI QIDQ3398314
Katarzyna Słomczyńska, Paweł M. Idziak, Andrzej Wroński
Publication date: 28 September 2009
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196709005251
algebraic logic; Fregean logic; equivalential algebras; congruence-permutable varieties; congruence-orderable varieties
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
08A30: Subalgebras, congruence relations
08A40: Operations and polynomials in algebraic structures, primal algebras
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Unnamed Item, Quasi-Nelson algebras and fragments, Algebraic semantics for the ‐fragment of and its properties, The commutator in equivalential algebras and Fregean varieties, Contextual deduction theorems, Equivalential algebras with conjunction on the regular elements, Representation of De Morgan and (semi-)Kleene lattices, The structure of completely meet irreducible congruences in strongly Fregean algebras, Compatibly involutive residuated lattices and the Nelson identity, Algebraic semantics for the (↔, ¬¬)-fragment of IPC
Cites Work
- On the structure of varieties with equationally definable principal congruences. II
- Ideals in universal algebras
- Finite equational bases for congruence modular varieties
- Varieties with equationally definable principal congruences
- Characterizations of arithmetical varieties
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- On the structure of varieties with equationally definable principal congruences. I
- Equivalential algebras. I: Representation
- Ontology in the Tractatus of L. Wittgenstein
- Implication algebras are 3-permutable and 3-distributive
- Brouwerian Semilattices
- The structure of finite algebras
- CLONES CONTAINING MAL'TSEV OPERATIONS
- Fregean subtractive varieties with definable congruence
- Polynomially rich algebras