Negation with logical variables in conditional rewriting

DOI10.1007/3-540-51081-8_115MaRDI QIDQ5055728zbMATH OpenOpenAlexFDO

Authors Chilukuri K. Mohan, Mandayam Srivas

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51081-8_115

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4090852
• scientific article; zbMATH DE number 4090853
• scientific article; zbMATH DE number 67820
• scientific article; zbMATH DE number 4060702
• Logicality of conditional rewrite systems

Cites work

• A kripke-kleene semantics for logic programs*
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Conditional rewrite rules: Confluence and termination
• Equality, types, modules, and (why not?) generics for logic programming
• Function definitions in term rewriting and applicative programming
• scientific article; zbMATH DE number 3876565 (Why is no real title available?)
• scientific article; zbMATH DE number 3930339 (Why is no real title available?)
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3963190 (Why is no real title available?)
• scientific article; zbMATH DE number 4041327 (Why is no real title available?)
• scientific article; zbMATH DE number 4049024 (Why is no real title available?)
• scientific article; zbMATH DE number 4074466 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 4090853 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Inference rules and proof procedures for inequations

Cited in

(8)

• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• Logicality of conditional rewrite systems
• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 4090853 (Why is no real title available?)
• scientific article; zbMATH DE number 67820 (Why is no real title available?)
• Boolean negation and non-conservativity II: The variable-sharing property

This page was built for publication: Negation with logical variables in conditional rewriting

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