scientific article; zbMATH DE number 2209897

zbMath1079.03006MaRDI QIDQ5692880

Neil V. Murray, Erik Rosenthal, James J. Lu

Publication date: 28 September 2005

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

zbMATH Keywords

inferencesigned logicannotated logicordered resolution\(\mho\)-resolutionordinary lattice

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (3)

A first polynomial non-clausal class in many-valued logic ⋮ Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness ⋮ Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

This page was built for publication: