scientific article; zbMATH DE number 3997792

MaRDI QIDQ4724632zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 1985

zbMATH Keywords

finitely generated lambda-algebrasfree lambda-algebraspropositional normal modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Free algebras (08B20)

Recommendations

• Equations in free topoboolean algebra
• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• From λ-Calculus to Universal Algebra and Back
• On the algebraic models of lambda calculus
• Free Modal Algebras: A Coalgebraic Perspective

Cited in

(7)

• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• Equations in free topoboolean algebra
• An algebraic theory of normal forms
• A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
• The finitely axiomatizable complete theories of non-associative arrow frames
• Complexity of the universal theory of modal algebras
• From λ-Calculus to Universal Algebra and Back

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4724632)