scientific article; zbMATH DE number 7455717

MaRDI QIDQ5020976

Hans Tompits, Tobias Geibinger

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10246

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP ⋮ Sequent calculi for choice logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Minimally inconsistent LP
• The logic of paradox
• The value of the four values
• Untersuchungen über das logische Schliessen. I
• Reasoning with logical bilattices
• A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur
• The complexity of reasoning for fragments of default logic
• How a Computer Should Think
• Proof-complexity results for nonmonotonic reasoning
• Natural 3-valued logics—characterization and proof theory
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• On the expressive power of three-valued and four-valued languages
• Inconsistency Tolerance
• Sequents in many valued logic II
• Sequent calculi for propositional nonmonotonic logics

This page was built for publication: