scientific article; zbMATH DE number 1778909

zbMATH Open1004.03019MaRDI QIDQ4544192FDOQ4544192

Authors:

Publication date: 27 October 2002

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The implicational nature of logic: A structuralist account
• 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)