scientific article; zbMATH DE number 2042611

zbMath1042.03013MaRDI QIDQ4450440

Viorica Sofronie-Stokkermans

Publication date: 15 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem provingnonclassical logicsKripke-style semantics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (10)

Binary resolution over Boolean lattices ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Duality results for (co)residuated lattices ⋮ Discrete duality for Nelson algebras with tense operators ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Modal-type orthomodular logic ⋮ Autoreferential semantics for many-valued modal logics ⋮ On the refutational completeness of signed binary resolution and hyperresolution

This page was built for publication: