scientific article; zbMATH DE number 3274718
From MaRDI portal
Publication:5560261
zbMATH Open0172.29102MaRDI QIDQ5560261
Publication date: 1968
Full work available at URL: https://eudml.org/doc/188120
Title of this publication is not available (Why is that?)
Related Items (3)
The disjunctive procedure and blocker duality ⋮ Disjunctive Constraint Lambda Calculi ⋮ Title not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- The disjunction property of intermediate propositional logics 👍 👎
- The conjoinability relation in Lambek calculus and linear logic 👍 👎
- The complexity of disjunction in intuitionistic logic 👍 👎
- Disjunctive systems and L-Domains 👍 👎
- The Complexity of Disjunction in Intuitionistic Logic 👍 👎
- Disjunctive Constraint Lambda Calculi 👍 👎
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS 👍 👎
- On disjunction in intuitionist logic 👍 👎
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)
