Reasoning Support for Casl with Automated Theorem Proving Systems

DOI10.1007/978-3-540-71998-4_5zbMATH Open1196.68147OpenAlexW1508520904MaRDI QIDQ3591069FDOQ3591069

Till Mossakowski, Klaus Lüttich

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

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

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Methodology and Software Technology
• Property Preserving Refinement for Csp-Casl
• Generalized Theoroidal Institution Comorphisms
• Recent Trends in Algebraic Development Techniques
• Title not available (Why is that?)
• Large theory reasoning with SUMO at CASC

Uses Software

• CASL
• SPASS
• TPTP
• Hets

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)