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

(19)

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

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)