scientific article; zbMATH DE number 1953898

zbMATH Open1027.03005MaRDI QIDQ4415083FDOQ4415083

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (8)

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