scientific article; zbMATH DE number 1778909

MaRDI QIDQ4544192zbMATH OpenFDO

Authors

Publication date 27 October 2002

zbMATH Keywords

Boolean latticesimplicational logicsentailmentimplicational fragment of classical propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Implicational Logic, Relevance, and Refutability
• scientific article; zbMATH DE number 2170850
• scientific article; zbMATH DE number 3296227
• Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls
• scientific article; zbMATH DE number 2097005
• Implication and analysis in classical Frege structures
• scientific article; zbMATH DE number 1354102
• scientific article; zbMATH DE number 3957057
• Implicational F-structures and implicational relevance logics
• Completeness of implicational relevant logics

Cited in

(4)

• The implicational nature of logic: A structuralist account
• scientific article; zbMATH DE number 614413 (Why is no real title available?)
• scientific article; zbMATH DE number 150217 (Why is no real title available?)
• Implicational F-structures and implicational relevance 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 Q4544192)