scientific article; zbMATH DE number 3274718

MaRDI QIDQ5560261zbMATH OpenFDO

Authors G. E. Mints

Publication date 1968

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 5163096
• Disjunctive Constraint Lambda Calculi
• On disjunction in intuitionist logic
• The conjoinability relation in Lambek calculus and linear logic
• The complexity of disjunction in intuitionistic logic
• The complexity of disjunction in intuitionistic logic
• Representing conjunctive deductions by disjunctive deductions
• Publication:4940934
• The disjunction property of intermediate propositional logics
• Disjunctive systems and L-Domains

Cited in

(3)

• The disjunctive procedure and blocker duality
• scientific article; zbMATH DE number 5163096 (Why is no real title available?)
• Disjunctive Constraint Lambda Calculi

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