scientific article; zbMATH DE number 753772
From MaRDI portal
Publication:4698605
zbMATH Open0821.03003MaRDI QIDQ4698605FDOQ4698605
Authors: J. Lambek 
Publication date: 18 September 1995
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 753775
- scientific article; zbMATH DE number 718373
- scientific article; zbMATH DE number 753774
- scientific article; zbMATH DE number 4041863
- scientific article; zbMATH DE number 726582
- scientific article; zbMATH DE number 976352
- scientific article; zbMATH DE number 1028825
- scientific article; zbMATH DE number 1852923
- scientific article; zbMATH DE number 42489
Gentzen- intuitionistic-styleGentzen-classical-styleHilbert-styleLawvere-styleSchütte-stylestyles of deductive systems
Cited In (19)
- Title not available (Why is that?)
- Models of deduction
- A computational interpretation of conceptivism
- Title not available (Why is that?)
- On sets of premises
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deductive systems and categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the definition of ‘formal deduction’
- Title not available (Why is that?)
- \(*\)-autonomous categories of bimodules
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic characterization of the SCR-\(n\;(1\leq n\leq\omega)\) hierarchy
- Deduction-detachment theorem and Gentzen-style deductive systems
- Axiomatic System, Deduction and Implication
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)
