↓ 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 7 A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions
  4. Altmetric Badge
    Chapter 18 Resolution Calculi for Non-normal Modal Logics
  5. Altmetric Badge
    Chapter 20 Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Attention for Chapter: A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X

This page is provided by Altmetric.