scientific article
From MaRDI portal
Publication:2753597
zbMath0972.03523MaRDI QIDQ2753597
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Structure of proofs (03F07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items
Belief Merging by Examples, Semantics and proof-theory of depth bounded Boolean logics, An informational view of classical logic, Unified deductive systems: an outline, A curious dialogical logic and its composition problem, A Dynamic Logic of Interrogative Inquiry, Graded tableaux for Rational Pavelka Logic, The interrogative model of inquiry meets dynamic epistemic logics, Optimization techniques for propositional intuitionistic logic and their implementation, Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC, Normality, non-contamination and logical depth in classical natural deduction, A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×, SAT-based explicit LTL reasoning and its application to satisfiability checking, Synthetic tableaux: Minimal tableau search heuristics
