Consequence operations based on hypergraph satisfiability

DOI10.1023/A:1004923723916zbMath0871.03005OpenAlexW1531117202MaRDI QIDQ1357376

Adam Kolany

Publication date: 23 September 1997

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004923723916

zbMATH Keywords

consistencycompactnessresolutionclauseclassical propositional calculusconsequence operatorshypergraph satisfiability

Mathematics Subject Classification ID

Hypergraphs (05C65) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

This page was built for publication: Consequence operations based on hypergraph satisfiability