Term-Generic Logic

DOI10.1007/978-3-642-03429-9_19MaRDI QIDQ3184738zbMATH OpenOpenAlexFDO

Authors Andrei Popescu, Grigore Roşu

Publication date 22 October 2009

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-642-03429-9_19

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Term-generic logic
• Term sequent logic
• Automated Reasoning
• A proof theory for generic judgments
• A logic for reasoning about generic judgments

Cites work

• A framework for defining logics
• An algebraic generalization of Frege structures -- binding algebras
• Explicit substitutions
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 1980922 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Introduction to generalized type systems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Reasoning with higher-order abstract syntax in a logical framework
• Uniform proofs as a foundation for logic programming

Cited in

(2)

• First-order Glue
• Term-generic logic

This page was built for publication: Term-Generic Logic

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