scientific article; zbMATH DE number 1361525

zbMATH Open0938.03041MaRDI QIDQ4699343FDOQ4699343

Authors: Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli, Ugo Moscato 

Publication date: 14 June 2000

Title of this publication is not available (Why is that?)

Recommendations

• A tableaux calculus for default intuitionistic logic
• scientific article; zbMATH DE number 1341482
• Tableau calculi for logic programs under answer set semantics
• scientific article; zbMATH DE number 1612545
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• Tableaux for intuitionistic logics
• Almost duplication-free tableau calculi for propositional lax logics
• scientific article; zbMATH DE number 1189095
• TABLEAUX: A general theorem prover for modal logics
• A tableau system for the modal \(\mu \)-calculus

zbMATH Keywords

sequent calculustableau calculusDummett logicduplications

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Cited In (13)

• Title not available (Why is that?)
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Terminating calculi for propositional Dummett logic with subformula property
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
• A Tableau Calculus for Hajek's Logic BL
• Title not available (Why is that?)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Computer Science Logic
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699343)