Labelled resolution for classical and non-classical logics

DOI10.1023/A:1004952317276zbMATH Open0976.03012OpenAlexW1604520962MaRDI QIDQ1372359FDOQ1372359

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

Recommendations

• scientific article; zbMATH DE number 4027425
• scientific article; zbMATH DE number 683345
• scientific article; zbMATH DE number 510785
• scientific article; zbMATH DE number 1749009

Mathematics Subject Classification ID

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

Cited In (4)

• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Title not available (Why is that?)

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)