scientific article; zbMATH DE number 1775515
From MaRDI portal
Publication:4544342
zbMath1019.03003MaRDI QIDQ4544342
Publication date: 4 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Automated theorem proving by resolution in non-classical logics ⋮ Binary resolution over Boolean lattices ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Latticed Simulation Relations and Games ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ LATTICED SIMULATION RELATIONS AND GAMES ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ On the refutational completeness of signed binary resolution and hyperresolution
This page was built for publication:
