scientific article; zbMATH DE number 1738633

MaRDI QIDQ4529960zbMATH OpenFDO

Authors Ruslan V. Yatsenko, Andrij M. Rogovets'

Publication date 7 May 2002

zbMATH Keywords

\(\lambda\)-calculus treeslogical equationmultidimensional logics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Multi-dimensional logic programming: theoretical foundations
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Implicative logics, Lambek systems and exponential multicategories
• Embedding from multilattice logic into classical logic and vice versa
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• A study on multi-dimensional products of graphs and hybrid logics

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 Q4529960)