scientific article

zbMATH Open0858.03031MaRDI QIDQ3837726FDOQ3837726

Kosta Došen

Publication date: 11 December 1996

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

zbMATH Keywords

substructural logicsrestrictions for structural rulessubstructural set theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (10)

• 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
• Logical foundations of quantitative equality
• Internalizing equality in Boolean algebras

   Recommendations

• Title not available (Why is that?) 👍 👎
• Substructural implicational logics including the relevant logic E 👍 👎
• Title not available (Why is that?) 👍 👎
• Substructural Logics in Natural Deduction 👍 👎
• Title not available (Why is that?) 👍 👎

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)