Non-clausal connection calculi for non-classical logics
From MaRDI portal
Publication:1694466
DOI10.1007/978-3-319-66902-1_13zbMath1496.03049OpenAlexW2751124205MaRDI QIDQ1694466
Publication date: 2 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_13
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 ⋮ From Schütte’s Formal Systems to Modern Automated Deduction ⋮ The possibilistic Horn non-clausal knowledge bases
