scientific article; zbMATH DE number 7592011
From MaRDI portal
Publication:5868872
zbMath1495.03002MaRDI QIDQ5868872
Publication date: 23 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Basic properties of first-order languages and structures (03C07)
Related Items (12)
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution ⋮ Vagueness as an epiphenomenon, and non-transitivity ⋮ The monadic hybrid calculus ⋮ (I can't get no) antisatisfaction ⋮ An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Making sense of raw input ⋮ Inductive reasoning in social choice theory ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Regression and progression in stochastic domains ⋮ A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆
This page was built for publication:
