𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finitely axiomatizable quasivarieties of graphs

✍ Scribed by X. Caicedo

Publisher
Springer
Year
1995
Tongue
English
Weight
432 KB
Volume
34
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Concerning axiomatizability of the quasi
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
✍ WlesΕ‚aw Dziobiak πŸ“‚ Article πŸ“… 1982 πŸ› Springer Netherlands 🌐 English βš– 852 KB

In classes of algebras such as lattices, groups, and rings, there arefinite algebras which individually generate quasivarieties which are not finitely axiomatiza.ble (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras

All Finitely Axiomatizable Normal Extens
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
✍ Michael Zakharyaschevm; Alexander Alekseev πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 546 KB

We use the apparatus of the canonical formulas introduced by Zakharyaschev [lo] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal log

Subquasivarieties of implicative locally
Subquasivarieties of implicative locally-finite quasivarieties
✍ Alexej P. Pynko πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 239 KB

## Abstract A quasivariety is said to be __implicative__ if it is generated by a class of algebras with equationally‐definable implication of equalities. Implicative finitely‐generated quasivarieties appear naturally within logic, for instance, as equivalent quasivarieties of Gentzen‐style calculi