scientific article; zbMATH DE number 966894

From MaRDI portal

Publication:5690146

Jump to:navigation, search

zbMath0865.08002MaRDI QIDQ5690146

Andrzej Wroński

Publication date: 30 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unification discriminator variety varieties of Heyting algebras most general unifiers transparent unifiers unitary variety

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (6)

On rules ⋮ Almost structural completeness; an algebraic approach ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5690146&oldid=30407405"

Pages with script errors