↓ Skip to main content
What is this page? Embed badge

Automated Reasoning with Analytic Tableaux and Related Methods

Overview of attention for book
Automated Reasoning with Analytic Tableaux and Related Methods
Springer Nature Switzerland

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 5 A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
  3. Altmetric Badge
    Chapter 18 Resolution Calculi for Non-normal Modal Logics
  4. Altmetric Badge
    Chapter 20 Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Attention for Chapter 5: A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X

This page is provided by Altmetric.