scientific article; zbMATH DE number 851275

zbMATH Open0838.03001MaRDI QIDQ4867840

Branislav Boričić

Publication date: 5 March 1996

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

zbMATH Keywords

Heyting algebrasBoolean algebrasdeduction theoremnormalizationnatural deductionKripke semanticsintuitionistic logiccut-eliminationfirst-order theoriesaxiomatic methodclassical logicpropositional calculifirst-order predicate calculiGentzen type sequent calculi

Mathematics Subject Classification ID

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

Related Items (1)

Logic. Commented exercises and solutions

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)