scientific article

From MaRDI portal

Publication:2782480

Jump to:navigation, search

zbMath0988.03048MaRDI QIDQ2782480

Luca Viganò, David A. Basin

Publication date: 14 July 2002

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

zbMATH Keywords

modal logic natural deduction decision problem relevance logic cut-free sequent systems space complexity decision procedure propositional nonclassical logics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2782480&oldid=15675036"