Factor varieties and symbolic computation

DOI10.1145/2933575.2933600zbMATH Open1394.03019OpenAlexW2531471291WikidataQ131118385 ScholiaQ131118385MaRDI QIDQ4635937FDOQ4635937

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

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

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)

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)