scientific article; zbMATH DE number 1778909

zbMATH Open1004.03019MaRDI QIDQ4544192

No author found.

Publication date: 27 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

entailmentBoolean latticesimplicational logicsimplicational 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)

Related Items (1)

Unnamed Item

Recommendations

• Implication and analysis in classical Frege structures 👍 👎
• Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls 👍 👎
• Implicational F-structures and implicational relevance logics 👍 👎
• Completeness of implicational relevant logics 👍 👎
• Implicational Logic, Relevance, and Refutability 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: