Intuitionistic propositional calculus in the extended framework with modal operator. II
From MaRDI portal
Publication:6489396
DOI10.2478/FORMA-2022-0001MaRDI QIDQ6489396
Publication date: 22 April 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
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
This page was built for publication: Intuitionistic propositional calculus in the extended framework with modal operator. II