scientific article; zbMATH DE number 851275

MaRDI QIDQ4867840zbMATH OpenFDO

Authors Branislav Boričić

Publication date 5 March 1996

zbMATH Keywords

axiomatic methodBoolean algebrasclassical logiccut-eliminationdeduction theoremfirst-order predicate calculifirst-order theoriesGentzen type sequent calculiHeyting algebrasintuitionistic logicKripke semanticsnatural deductionnormalizationpropositional calculi

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 5840915
• scientific article; zbMATH DE number 874672
• scientific article; zbMATH DE number 192927
• A short introduction to intuitionistic logic
• scientific article; zbMATH DE number 1278449

Cited in

(7)

• Intuitionistic logic according to Dijkstra's calculus of equational deduction
• Logic. Commented exercises and solutions
• scientific article; zbMATH DE number 4014710 (Why is no real title available?)
• scientific article; zbMATH DE number 3873290 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1526721 (Why is no real title available?)
• Elements of logical reasoning

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 Q4867840)