scientific article; zbMATH DE number 517080

zbMATH Open0789.05074MaRDI QIDQ4282610FDOQ4282610

Authors: Adam Kolany 

Publication date: 17 March 1994

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

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

zbMATH Keywords

hypergraphssatisfiabilityintuitionistic propositional calculus

Mathematics Subject Classification ID

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

Cited In (16)

• Recognizability, hypergraph operations, and logical types
• Relative definability of boolean functions via hypergraphs
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• The expressibility of fragments of hybrid graph logic on finite digraphs
• A study on multi-dimensional products of graphs and hybrid logics
• Title not available (Why is that?)
• Abduction in economics: a conceptual framework and its model
• Product of Graphs and Hybrid Logic
• Title not available (Why is that?)
• 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)