Factor varieties and symbolic computation

DOI10.1145/2933575.2933600MaRDI QIDQ4635937zbMATH OpenOpenAlexWikidataFDO

Authors Giulio Manzonetto, G. Favro, Antonino Salibra

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10278/3679739

zbMATH Keywords

multi-valued logicuniversal algebradiscriminator varietyequational logicfactor varietyfactor circuit

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Grammars and rewriting systems (68Q42) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• On polynomial semantics for propositional logics
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• scientific article; zbMATH DE number 989195
• scientific article; zbMATH DE number 978243
• Reconciling first-order logic to algebra

Cited in

(1)

• Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables

This page was built for publication: Factor varieties and symbolic computation

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