scientific article; zbMATH DE number 956469

zbMATH Open0858.03031MaRDI QIDQ3837726FDOQ3837726

Kosta Došen

Publication date: 11 December 1996

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

Recommendations

• scientific article
• Substructural implicational logics including the relevant logic E
• scientific article; zbMATH DE number 2213626
• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 823607

zbMATH Keywords

substructural logicsrestrictions for structural rulessubstructural set theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (11)

• SCL(EQ): SCL for first-order logic with equality
• Computer Aided Verification
• Equality of proofs for linear equality
• Title not available (Why is that?)
• Propositional calculus under adjointness
• On the restricted equivalence for subclasses of propositional logic
• The logic of tied implications. I: Properties, applications and representation
• On elementary equivalence for equality-free logic
• Title not available (Why is that?)
• Logical foundations of quantitative equality
• Internalizing equality in Boolean algebras

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