Intuitionistic propositional calculus in the extended framework with modal operator. II

DOI10.2478/FORMA-2022-0001MaRDI QIDQ6489396

Riku Hanaoka, Takao Inoue

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

zbMATH Keywords

deduction theoremintuitionistic logicconsequence operator

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Intuitionism. An introduction. 3rd revised ed
• Mizar: State-of-the-art and Beyond
• Logic and structure

This page was built for publication: Intuitionistic propositional calculus in the extended framework with modal operator. II