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