scientific article; zbMATH DE number 475185

MaRDI QIDQ4273422zbMATH OpenFDO

Authors Don Pigozzi, Antonino Salibra

Publication date 13 January 1994

zbMATH Keywords

BCK logicfunctional representationimplicational calculiintuitionistic logiclambda calculusmany-valued logicmodal logicpolyadic algebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Polyadic BL-algebras: a representation theorem
• On amalgamation of reducts of polyadic algebras
• \(\mathcal S\)-prealgebras
• Algebraic logic for rational Pavelka predicate calculus
• scientific article; zbMATH DE number 4183416

Cited in

(14)

• \(\mathcal S\)-prealgebras
• Monadic bounded residuated lattices
• A categorical equivalence for tense Nelson algebras
• Finitary polyadic algebras from cylindric algebras
• Beyond Rasiowa's algebraic approach to non-classical logics
• scientific article; zbMATH DE number 4091502 (Why is no real title available?)
• An autobiography of polyadic algebras
• A mathematical life
• scientific article; zbMATH DE number 2099348 (Why is no real title available?)
• scientific article; zbMATH DE number 5252383 (Why is no real title available?)
• Polyadic De Morgan monoids: functional representation and MG structures
• A categorical approach to polyadic algebras
• Monadic GMV-algebras
• Monadic bounded commutative residuated -monoids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4273422)