Local symmetries in propositional logic

DOI10.1007/10722086_3MaRDI QIDQ2721182zbMATH OpenFDO

Authors Noriko H. Arai, Alasdair Urquhart

Publication date 1 July 2001

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

Full work available at URL https://doi.org/10.1007/10722086_3

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• The symmetry rule in propositional logic
• scientific article; zbMATH DE number 1962837
• The complexity of resolution with generalized symmetry rules
• scientific article; zbMATH DE number 516991
• Theoretical study of symmetries in propositional calculus and applications

Cited in

(10)

• Homomorphisms of conjunctive normal forms.
• The complexity of resolution with generalized symmetry rules
• The symmetry rule in propositional logic
• Formula simplification via invariance detection by algebraically indexed types
• Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates
• On the symmetry of logic
• scientific article; zbMATH DE number 1962837 (Why is no real title available?)
• A Logical Autobiography
• Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas
• Resolution with symmetry rule applied to linear equations

This page was built for publication: Local symmetries in propositional logic

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