Extensions of intuitionistic logic without the deduction theorem: some simple examples

MaRDI QIDQ3377758zbMATH OpenFDO

Authors Lloyd Humberstone

Publication date 29 March 2006

zbMATH Keywords

intermediate logicintuitionistic logicclasical logicDeduction theorem

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• Deduction theorems for weak implicational logics
• scientific article; zbMATH DE number 1975410
• Extensions of proof-intuitionistic logic without interpolation property
• The deduction theorem for quantum logic—some negative results
• A deductive-reductive form of logic: General theory and intuitionistic case

Cited in

(5)

• Another combination of classical and intuitionistic conditionals
• Prior's OIC nonconservativity example revisited
• Explicating logical independence
• Natural deduction and Curry's paradox
• A deductive-reductive form of logic: General theory and intuitionistic case

This page was built for publication: Extensions of intuitionistic logic without the deduction theorem: some simple examples

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3377758)