scientific article; zbMATH DE number 1746563

zbMATH Open0989.03015MaRDI QIDQ4530732FDOQ4530732

Authors: V. R. Kiyatkin, Tahsin Öner, Vladimir Rybakov 

Publication date: 28 May 2002

Full work available at URL: https://eudml.org/doc/187992

Title of this publication is not available (Why is that?)

Recommendations

• Admissibility of logical inference rules
• Complexity of admissible rules
• scientific article; zbMATH DE number 1396691
• On Finite Model Property for Admissible Rules
• Finite frames fail: how infinity works its way into the semantics of admissibility

zbMATH Keywords

residual finitenessadmissible inference rule

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45)

Cited In (3)

• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• Inference of Uniquely Terminating EML
• Hereditarily structurally complete superintuitionistic deductive systems

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