Nonaxiomatizability of predicate logics of proofs

zbMath1025.03063MaRDI QIDQ1406443

T. L. Sidon

Publication date: 4 September 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

nonaxiomatizabilitypredicate logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Intuitionistic hypothetical logic of proofs

This page was built for publication: Nonaxiomatizability of predicate logics of proofs