scientific article; zbMATH DE number 1354103
From MaRDI portal
Publication:4268412
zbMATH Open0926.03023MaRDI QIDQ4268412
Publication date: 28 October 1999
Title of this publication is not available (Why is that?)
decidabilityrelevant logicdecision procedureproof-search algorithmsequent calculus with indexed formulae
Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
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 Q4268412)
