A glimpse of deductive systems in algebra
From MaRDI portal
Publication:607435
Logical aspects of Boolean algebras (03G05) Logical aspects of ?ukasiewicz and Post algebras (03G20) Other algebras related to logic (03G25) Semilattices (06A12) Lattice ideals, congruence relations (06B10) Heyting algebras (lattice-theoretic aspects) (06D20) MV-algebras (06D35) BCK-algebras, BCI-algebras (06F35)
Recommendations
Cites work
- Algebras of logic as BCK algebras
- An algebraic approach to non-classical logics
- Boolean filters and positive implicative filters of residuated lattices
- Distributive implication groupoids
- scientific article; zbMATH DE number 5313480 (Why is no real title available?)
- scientific article; zbMATH DE number 5367214 (Why is no real title available?)
- scientific article; zbMATH DE number 3985292 (Why is no real title available?)
- scientific article; zbMATH DE number 4004239 (Why is no real title available?)
- scientific article; zbMATH DE number 3747112 (Why is no real title available?)
- scientific article; zbMATH DE number 3552506 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 639512 (Why is no real title available?)
- scientific article; zbMATH DE number 1508247 (Why is no real title available?)
- scientific article; zbMATH DE number 2148625 (Why is no real title available?)
- scientific article; zbMATH DE number 2149944 (Why is no real title available?)
- scientific article; zbMATH DE number 1865922 (Why is no real title available?)
- scientific article; zbMATH DE number 874277 (Why is no real title available?)
- scientific article; zbMATH DE number 5191994 (Why is no real title available?)
- scientific article; zbMATH DE number 3230226 (Why is no real title available?)
- scientific article; zbMATH DE number 3231882 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3245491 (Why is no real title available?)
- scientific article; zbMATH DE number 3270653 (Why is no real title available?)
- scientific article; zbMATH DE number 3271476 (Why is no real title available?)
- scientific article; zbMATH DE number 3309231 (Why is no real title available?)
- scientific article; zbMATH DE number 2209895 (Why is no real title available?)
- Localizations and fractions in algebra of logic
- Lukasiewicz-Moisil algebras
- Mathematics behind fuzzy logic
- On the lattice of deductive systems of a BL-algebra
- Remarks on Hertz algebras and implicative semilattices
- Representation and duality for Hilbert algebras
- Semilattice structures.
- The lattice of deductive systems on Hilbert algebras
Cited in
(18)- Algebraic aspects of deduction theorems
- New topology in residuated lattices
- Beyond Rasiowan systems: unital deductive systems
- The property of commutativity for some generalizations of BCK algebras
- scientific article; zbMATH DE number 3916269 (Why is no real title available?)
- scientific article; zbMATH DE number 2144728 (Why is no real title available?)
- scientific article; zbMATH DE number 2166585 (Why is no real title available?)
- Irreducible and prime deductive systems of some generalizations of BCK algebras
- Lattice of closure endomorphisms of a Hilbert algebra
- Regularity in residuated lattices
- scientific article; zbMATH DE number 4189690 (Why is no real title available?)
- Deductive systems in unital quantum-B algebras
- On Implicative and Positive Implicative GE Algebras
- Connections between GE algebras and pre-Hilbert algebras
- Quotient quantum-Wajsberg algebras
- Implicative pre-Hilbert algebras and their connections with other algebras of logic
- On pre-Hilbert and positive implicative pre-Hilbert algebras
- Interior architecture of involutive WE-algebra
This page was built for publication: A glimpse of deductive systems in algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607435)
