Reasoning Support for Casl with Automated Theorem Proving Systems

DOI10.1007/978-3-540-71998-4_5MaRDI QIDQ3591069zbMATH OpenOpenAlexFDO

Authors Klaus Lüttich, Till Mossakowski

Publication date 10 September 2007

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71998-4_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4117898
• Automated theorem proving and logic programming: a natural symbiosis
• Automated support for the investigation of paraconsistent and other logics
• Automated proof support for interval logics
• Automated theorem proving by resolution in non-classical logics
• scientific article; zbMATH DE number 2172806
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• scientific article; zbMATH DE number 4164174

Cited in

(10)

• Large theory reasoning with SUMO at CASC
• scientific article; zbMATH DE number 1809864 (Why is no real title available?)
• scientific article; zbMATH DE number 2079678 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Property Preserving Refinement for Csp-Casl
• Generalized Theoroidal Institution Comorphisms
• Recent Trends in Algebraic Development Techniques
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• Validating mathematical theorems and algorithms with RISCAL

Describes a project that uses

Uses Software

• Hets
• TPTP
• SPASS
• CASL

This page was built for publication: Reasoning Support for Casl with Automated Theorem Proving Systems

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