FREGEAN VARIETIES

DOI10.1142/S0218196709005251zbMath1178.08001OpenAlexW4246797202MaRDI 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

zbMATH Keywords

algebraic logicFregean logicequivalential algebrascongruence-permutable varietiescongruence-orderable varieties

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (14)

Equivalential algebras with conjunction on the regular elements ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Unnamed Item ⋮ The structure of completely meet irreducible congruences in strongly Fregean algebras ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ The commutator in equivalential algebras and Fregean varieties ⋮ Contextual deduction theorems ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC ⋮ Quasi-Nelson algebras and fragments

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

This page was built for publication: FREGEAN VARIETIES