Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence

DOI10.1007/978-3-642-20895-9_28zbMath1327.03018OpenAlexW1566498025MaRDI QIDQ3003264

Hans Tompits, Johannes Oetsch

Publication date: 26 May 2011

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9_28

Mathematics Subject Classification ID

Logic programming (68N17) Many-valued logic (03B50)

Related Items (2)

Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Paraconsistency in classical logic

This page was built for publication: Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence