scientific article; zbMATH DE number 517080

MaRDI QIDQ4282610zbMATH OpenFDO

Authors Adam Kolany

Publication date 17 March 1994

zbMATH Keywords

hypergraphssatisfiabilityintuitionistic propositional calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 638367
• scientific article; zbMATH DE number 179052
• A constructive investigation of satisfiability
• scientific article; zbMATH DE number 120352
• scientific article; zbMATH DE number 1036758

Cited in

(16)

• Recognizability, hypergraph operations, and logical types
• Relative definability of boolean functions via hypergraphs
• scientific article; zbMATH DE number 120352 (Why is no real title available?)
• Inductive reasoning in social choice theory
• Boolean formulae, hypergraphs and combinatorial topology
• Achieving new upper bounds for the hypergraph duality problem through logic
• The Ryōan-ji axiom for common knowledge on hypergraphs
• A constructive investigation of satisfiability
• The expressibility of fragments of hybrid graph logic on finite digraphs
• scientific article; zbMATH DE number 179052 (Why is no real title available?)
• A study on multi-dimensional products of graphs and hybrid logics
• scientific article; zbMATH DE number 6747949 (Why is no real title available?)
• Abduction in economics: a conceptual framework and its model
• Product of Graphs and Hybrid Logic
• scientific article; zbMATH DE number 638367 (Why is no real title available?)
• On Graph-theoretic Fibring of 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 Q4282610)