Automated deduction in classical and non-classical logics. Selected papers
type: Item
instance of: scholarly article
title: Automated deduction in classical and non-classical logics. Selected papers
zbMATH Open document ID: 0933.00012
DOI: 10.1007/3-540-46508-1
published in: Lecture Notes in Computer Science
publication date: 2000-03-08T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Dowek, Gilles}, Automated theorem proving in first-order logic modulo: On the difference between type theory and set theory, 1-22 [Zbl 0960.03008] \textit{Fitting, Melvin}, Higher-order modal logic -- a sketch, 23-38 [Zbl 0955.03030] \textit{Kapur, Deepak; Sivakumar, G.}, Proving associative-commutative termination using RPO-compatible orderings, 39-61 [Zbl 0963.68089] \textit{Leitsch, Alexander}, Decision procedures and model building or how to improve logical information in automated deduction, 62-79 [Zbl 0966.03011] \textit{Plaisted, David A.; Zhu, Yunshan}, Replacement rules with definition detection, 80-94 [Zbl 0963.68194] \textit{Boy de la Tour, Thierry}, On the complexity of finite sorted algebras, 95-108 [Zbl 0964.08007] \textit{Cantone, Domenico; Nicolosi Asmundo, Marianna}, A further and effective liberalization of the \(\delta\)-rule in free variable semantic tableaux, 109-125 [Zbl 0955.03014] \textit{Cantone, Domenico; Zarba, Calogero G.}, A new fast tableau-based decision procedure for an unquantified fragment of set theory, 126-136 [Zbl 0955.03015] \textit{Dahn, Ingo}, Interpretation of a Mizar-like logic in first order logic, 137-151 [Zbl 0960.03007] \textit{Demri, Stéphane; Goré, Rajeev}, An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic, 152-166 [Zbl 0956.03026] \textit{Fermüller, Christian G.}, Implicational completeness of signed resolution, 167-174 [Zbl 0962.03008] \textit{Formisano, Andrea; Omodeo, Eugenio}, An equational re-engineering of set theories, 175-190 [Zbl 0955.03016] \textit{Hustadt, Ullrich; Schmidt, Renate A.}, Issues of decidability for description logics in the framework of resolution, 191-205 [Zbl 0955.03018] \textit{Pichler, Reinhard}, Extending decidable clause classes via constraints, 206-220 [Zbl 0955.03020] \textit{Pichler, Reinhard}, Completeness and redundancy in constrain…
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1412344
zbMATH Keywords: Automated deduction
zbMATH Keywords: Classical logics
zbMATH Keywords: Non-classical logics
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-46508-1
OpenAlex ID: W2481077391
description: scientific article; zbMATH DE number 1412344