Tableau methods for classical propositional logic

MaRDI QIDQ2753597zbMATH OpenFDO

Authors Marcello D'Agostino

Publication date 14 November 2001

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Cited in

(20)

• Optimization techniques for propositional intuitionistic logic and their implementation
• Synthetic tableaux: Minimal tableau search heuristics
• Normality, non-contamination and logical depth in classical natural deduction
• Tableaux and interpolation for propositional justification logics
• Unified deductive systems: an outline
• Semantics and proof-theory of depth bounded Boolean logics
• scientific article; zbMATH DE number 5230352 (Why is no real title available?)
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• Fractional semantics for classical logic
• A dynamic logic of interrogative inquiry
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• An informational view of classical logic
• A curious dialogical logic and its composition problem
• Graded tableaux for Rational Pavelka Logic
• Belief merging by examples
• Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• The interrogative model of inquiry meets dynamic epistemic logics
• SAT-based explicit LTL reasoning and its application to satisfiability checking

This page was built for publication: Tableau methods for classical propositional logic

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