Labelled resolution for classical and non-classical logics

DOI10.1023/A:1004952317276zbMath0976.03012OpenAlexW1604520962MaRDI QIDQ1372359

Dov M. 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

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

Related Items (3)

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

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