Saturation Up to Redundancy for Tableau and Sequent Calculi

Lecture Notes in Computer Science - Germany
doi 10.1007/11916277_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Sequent Calculi for Beginners and Professionals

Logic and Logical Philosophy
Philosophy
2018English

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Journal of Artificial Intelligence Research
Artificial Intelligence
2015English

Sequent Systems for Negative Modalities

Logica Universalis
Applied MathematicsLogic
2017English

Start Up and Saturation in Monotrons

2007English

Sequent Systems for Modal Logics

2002English

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Journal of Functional Programming
Software
2000English

Tableau-Based Theorem Proving for Representation and Reasoning.

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy