scientific article; zbMATH DE number 475185
From MaRDI portal
Publication:4273422
zbMath0794.03092MaRDI QIDQ4273422
Publication date: 13 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicmany-valued logicintuitionistic logicfunctional representationlambda calculuspolyadic algebrasBCK logicimplicational calculi
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Cylindric and polyadic algebras; relation algebras (03G15) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (6)
A Mathematical Life ⋮ Monadic bounded residuated lattices ⋮ Monadic GMV-algebras ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ A categorical equivalence for tense Nelson algebras
This page was built for publication: