Pseudo-canonical formulae are classical

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

zbMATH Keywords

classical logiccanonicalformulaeHilbert positive propositional calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Flexary connectives in Mizar

Cites Work

• Preliminaries to Classical First Order Model Theory
• Unnamed Item

This page was built for publication: Pseudo-canonical formulae are classical