scientific article; zbMATH DE number 753772

MaRDI QIDQ4698605zbMATH OpenFDO

Authors J. Lambek

Publication date 18 September 1995

zbMATH Keywords

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited in

(20)

• *-autonomous categories of bimodules
• Models of deduction
• Deductive systems and categories
• Semantic characterization of the SCR-n\;(1 n) hierarchy
• scientific article; zbMATH DE number 3882409 (Why is no real title available?)
• On the definition of ‘formal deduction’
• scientific article; zbMATH DE number 3857077 (Why is no real title available?)
• scientific article; zbMATH DE number 4200167 (Why is no real title available?)
• scientific article; zbMATH DE number 3924745 (Why is no real title available?)
• scientific article; zbMATH DE number 4021131 (Why is no real title available?)
• scientific article; zbMATH DE number 4053578 (Why is no real title available?)
• scientific article; zbMATH DE number 4104929 (Why is no real title available?)
• Axiomatic System, Deduction and Implication
• scientific article; zbMATH DE number 465603 (Why is no real title available?)
• scientific article; zbMATH DE number 2064306 (Why is no real title available?)
• scientific article; zbMATH DE number 2068678 (Why is no real title available?)
• A computational interpretation of conceptivism
• Deduction-detachment theorem and Gentzen-style deductive systems
• On sets of premises
• scientific article; zbMATH DE number 2196610 (Why is no real title available?)

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)