On a generalised logicality theorem

DOI10.1007/3-540-45470-5_8MaRDI QIDQ4808705zbMATH OpenFDO

Authors Marc Aiguier, Diane Bahrami, Catherine Dubois

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

abstract convertibility relationabstract rewrite treeformal systemintegration of logical reasoning and computer algebralogicalitysemi-commutationterm rewriting

Mathematics Subject Classification ID

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

Recommendations

• Logicality of conditional rewrite systems
• scientific article; zbMATH DE number 1231663
• scientific article; zbMATH DE number 785049
• scientific article; zbMATH DE number 4092821
• Research directions in rewriting logic

Cited in

(9)

• Some general results about proof normalization
• The logic of generalized truth values and the logic of bilattices
• Structures for abstract rewriting
• The bounds of logic. A generalized viewpoint
• scientific article; zbMATH DE number 4132122 (Why is no real title available?)
• A Note on Goddard and Routley's Significance Logic
• A formal theory of generalized intermediate syllogisms
• General Criterion for Essential Nonfault Locatability of Logical Functions
• Functional and Logic Programming

This page was built for publication: On a generalised logicality theorem

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