scientific article; zbMATH DE number 956469

MaRDI QIDQ3837726zbMATH OpenFDO

Authors Kosta Došen

Publication date 11 December 1996

zbMATH Keywords

substructural logicsrestrictions for structural rulessubstructural set theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 956470
• 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

Cited in

(12)

• SCL(EQ): SCL for first-order logic with equality
• Computer Aided Verification
• Equality of proofs for linear equality
• scientific article; zbMATH DE number 1961528 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 3924744 (Why is no real title available?)
• Logical foundations of quantitative equality
• scientific article; zbMATH DE number 956470 (Why is no real title available?)
• 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)