Remarks on projective unifiers

MaRDI QIDQ5411485zbMATH OpenFDO

Authors Wojciech Dzik

Publication date 23 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/40_12_3.pdf

zbMATH Keywords

projective unifiersstructural completenessunificationunifiers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Projective unification in modal logic
• Unification and projectivity in Fregean varieties
• Discriminator varieties and symbolic computation
• Projective unification in transitive modal logics
• scientific article; zbMATH DE number 966894

Cited in

(12)

• Remarks on projectivities
• Discriminator varieties and symbolic computation
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
• Remarks on uniform bundles on projective spaces
• Projective algebras and primitive subquasivarieties in varieties with factor congruences
• Unification in pretabular extensions of S4
• Algebraic logic perspective on Prucnal's substitution
• Projectivity and unification in substructural logics of generalized rotations
• Almost structural completeness; an algebraic approach
• Unification and projectivity in Fregean varieties
• KD is nullary
• About the unification types of modal logics

This page was built for publication: Remarks on projective unifiers

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