scientific article; zbMATH DE number 753772

zbMATH Open0821.03003MaRDI QIDQ4698605FDOQ4698605

J. Lambek

Publication date: 18 September 1995

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

zbMATH Keywords

Gentzen- intuitionistic-styleGentzen-classical-styleHilbert-styleLawvere-styleSchütte-stylestyles of deductive systems

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited In (4)

• Title not available (Why is that?)
• Deductive systems and categories
• \(*\)-autonomous categories of bimodules
• Axiomatic System, Deduction and Implication

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4698605)