Pseudo-canonical formulae are classical
From MaRDI portal
Publication:502693
DOI10.2478/forma-2014-0011zbMath1352.03013OpenAlexW2095385640MaRDI QIDQ502693
Artur Korniłowicz, Marco Bright Caminati
Publication date: 6 January 2017
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2014-0011
Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work