Pseudo-canonical formulae are classical
From MaRDI portal
Publication:502693
DOI10.2478/forma-2014-0011zbMath1352.03013MaRDI 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
03B35: Mechanization of proofs and logical operations
03G25: Other algebras related to logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work