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

zbMATH Open1098.03036MaRDI QIDQ3377758FDOQ3377758

Authors: Lloyd Humberstone 

Publication date: 29 March 2006

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

zbMATH Keywords

intermediate logicintuitionistic logicclasical logicDeduction theorem

Mathematics Subject Classification ID

Intermediate logics (03B55)

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)