scientific article; zbMATH DE number 2109242

zbMath1051.03012MaRDI QIDQ4821863

Lloyd Humberstone

Publication date: 22 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

implicationdeductive relationsconverse of implication

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Priest on Negation ⋮ Variations on a theme of Curry ⋮ Explicating logical independence

This page was built for publication: