Algebra of proofs
zbMath0532.03030MaRDI QIDQ788719
Publication date: 1978
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
completenessproof theorycut-eliminationalgebraic modelfunctional description of quantifiersintuitionistic first-order logicLindenbaum-Tarski algebras
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items