scientific article; zbMATH DE number 1953898

MaRDI QIDQ4415083zbMATH OpenFDO

Authors Ernst Zimmermann

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610228.htm

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A predicate logical extension of a subintuitionistic propositional logic
• Predicate logical extensions of some subintuitionistic logics
• Subintuitionistic logics
• scientific article; zbMATH DE number 6863646
• Weak Logics with Strict Implication

Cited in

(8)

• Predicate logical extensions of some subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• Weak Logics with Strict Implication
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• A predicate logical extension of a subintuitionistic propositional logic
• Subintuitionistic logics
• A weak intuitionistic propositional logic with purely constructive implication
• Labelled tableau systems for some subintuitionistic logics

This page was built for publication:

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