↓ 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
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness
Book title
Automated Reasoning with Analytic Tableaux and Related Methods
Published by
Springer, Cham, September 2023
DOI 10.1007/978-3-031-43513-3_25
Book ISBNs
978-3-03-143512-6, 978-3-03-143513-3
Authors

From, Asta Halkjær, Villadsen, Jørgen

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.

This page is provided by Altmetric.