Labelled resolution for classical and non-classical logics

DOI10.1023/A:1004952317276MaRDI QIDQ1372359zbMATH OpenOpenAlexFDO

Authors Dov Gabbay, Uwe Reyle

Publication date 25 November 2001

Published in Studia Logica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Cited in

(4)

• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• scientific article; zbMATH DE number 1761419 (Why is no real title available?)
• Filter-based resolution principle for lattice-valued propositional logic LP(X)

This page was built for publication: Labelled resolution for classical and non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372359)