scientific article; zbMATH DE number 764335
From MaRDI portal
Publication:4836217
zbMath0826.06005MaRDI QIDQ4836217
No author found.
Publication date: 28 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Admissibility and refutation: some characterisations of intermediate logics ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV