scientific article; zbMATH DE number 3801605

zbMath0508.06012MaRDI QIDQ4745865

Luisa Iturrioz

Publication date: 1982

Full work available at URL: https://eudml.org/doc/209233

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

zbMATH Keywords

Post algebramany-valued logicsymmetrical Heyting algebraLukasiewicz algebraunary operatorssymmetrical modal propositional calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (3)

Symmetrical Heyting algebras with a finite order type of operators ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Symmetrical Heyting algebras of order \(3\times 3\)

This page was built for publication: