scientific article; zbMATH DE number 2090037

zbMATH Open1072.68536MaRDI QIDQ4808705FDOQ4808705

Authors: Marc Aiguier, Diane Bahrami, Catherine Dubois 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2385/23850051.htm

Title of this publication is not available (Why is that?)

Recommendations

• Logicality of conditional rewrite systems
• scientific article; zbMATH DE number 1231663
• scientific article; zbMATH DE number 785049
• scientific article; zbMATH DE number 4092821
• scientific article; zbMATH DE number 1342254

zbMATH Keywords

term rewritingformal systemlogicalitysemi-commutationabstract convertibility relationabstract rewrite treeintegration of logical reasoning and computer algebra

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Structure of proofs (03F07)

Cited In (9)

• A formal theory of generalized intermediate syllogisms
• Title not available (Why is that?)
• A Note on Goddard and Routley's Significance Logic
• Structures for abstract rewriting
• The logic of generalized truth values and the logic of bilattices
• Some general results about proof normalization
• The bounds of logic. A generalized viewpoint
• Functional and Logic Programming
• General Criterion for Essential Nonfault Locatability of Logical Functions

This page was built for publication:

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