scientific article; zbMATH DE number 2209446

MaRDI QIDQ5692433zbMATH OpenFDO

Authors P. I. Bystrov

Publication date 28 September 2005

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited in

(9)

• A simple propositional \(\text{S}5\) tableau system
• Algorithms for relevant logic
• Dealing with Symmetries in Modal Tableaux
• scientific article; zbMATH DE number 5295699 (Why is no real title available?)
• scientific article; zbMATH DE number 4089526 (Why is no real title available?)
• scientific article; zbMATH DE number 2072494 (Why is no real title available?)
• scientific article; zbMATH DE number 2079261 (Why is no real title available?)
• scientific article; zbMATH DE number 2209820 (Why is no real title available?)
• scientific article; zbMATH DE number 2226185 (Why is no real title available?)

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