A Sound and Complete Axiomatization of Majority- Logic

DOI10.1109/TC.2015.2506566zbMath1360.03072arXiv1502.06359OpenAlexW1535358336MaRDI QIDQ2985314

Anupam Chattopadhyay, Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1502.06359

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical propositional logic (03B05)

Related Items (1)

Synthesis of Majority Expressions Through Primitive Function Manipulation

This page was built for publication: A Sound and Complete Axiomatization of Majority- Logic