scientific article; zbMATH DE number 179052

MaRDI QIDQ4039141zbMATH OpenFDO

Authors Adam Kolany

Publication date 5 May 1994

zbMATH Keywords

hypergraphsintuitionistic propositional calculuslogical satisfiability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) General logic (03B99) Hypergraphs (05C65)

Recommendations

• scientific article; zbMATH DE number 517080
• scientific article; zbMATH DE number 120352
• scientific article; zbMATH DE number 1036758
• Identifying the Minimal Transversals of a Hypergraph and Related Problems
• Satisfiability on hypergraphs

Cited in

(9)

• Satisfiability on hypergraphs
• Consequence operations based on hypergraph satisfiability
• scientific article; zbMATH DE number 120352 (Why is no real title available?)
• scientific article; zbMATH DE number 517080 (Why is no real title available?)
• scientific article; zbMATH DE number 638367 (Why is no real title available?)
• scientific article; zbMATH DE number 1036758 (Why is no real title available?)
• Achieving new upper bounds for the hypergraph duality problem through logic
• Product of Graphs and Hybrid Logic
• scientific article; zbMATH DE number 6747949 (Why is no real title available?)

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 Q4039141)