Login / Signup

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.

Ofer ArieliKees van BerkelChristian Straßer
Published in: IJCAI (2022)
Keyphrases
  • sequent calculi
  • logical structure
  • modal logic
  • machine learning
  • argumentation systems
  • logical theories