A Decision Procedure for Monotone Functions over Bounded and Complete Lattices

DOI10.1007/11964810_15zbMath1177.03022OpenAlexW2144859778MaRDI QIDQ5302032

Domenico Cantone, Calogero G. Zarba

Publication date: 20 January 2009

Published in: Theory and Applications of Relational Structures as Knowledge Instruments II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11964810_15

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Lattices (06B99)

Related Items (3)

Combining nonstably infinite theories ⋮ On deciding satisfiability by theorem proving with speculative inferences ⋮ On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving

This page was built for publication: A Decision Procedure for Monotone Functions over Bounded and Complete Lattices