Logic on the n-cube.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 409, doi. 10.1093/logcom/ext033
- By:
- Publication type:
- Article
Works matching DE "POST algebras"
Results: 12
1
2
ADC method of proof search for intuitionistic propositional natural deduction.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 395, doi. 10.1093/logcom/ext032
- By:
- Publication type:
- Article
3
All General Solutions of Post Equations.
- Published in:
- Acta Mathematica Sinica, 2007, v. 23, n. 5, p. 945, doi. 10.1007/s10114-005-0780-5
- By:
- Publication type:
- Article
4
AN EQUATIONAL AXIOMATIZATION OF POST ALMOST DISTRIBUTIVE LATTICES.
- Published in:
- Discussiones Mathematicae: General Algebra & Applications, 2016, v. 36, n. 1, p. 5, doi. 10.7151/dmgaa.1246
- By:
- Publication type:
- Article
5
Coproducts of bounded distributive lattices: infinite distributivity.
- Published in:
- Acta Mathematica Hungarica, 2006, v. 112, n. 4, p. 269, doi. 10.1007/s10474-006-0079-8
- By:
- Publication type:
- Article
6
ON REPRODUCTIVE SOLUTIONS OF POSTIAN AND STONEAN EQUATIONS.
- Published in:
- Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2012, p. 231
- By:
- Publication type:
- Article
7
On the number of Boolean functions in the Post classes.
- Published in:
- Discrete Mathematics & Applications, 1999, v. 9, n. 6, p. 593
- By:
- Publication type:
- Article
8
Cyclic Elements in MV-Algebras and Post Algebras.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 431, doi. 10.1002/malq.19940400402
- By:
- Publication type:
- Article
9
PARTIAL ISOMORPHISM EXTENSION METHOD AND A REPRESNTATION THEOREM FOR POST-LANGUAGE.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 289, doi. 10.1002/malq.19840301902
- By:
- Publication type:
- Article
10
RINGS IN POST ALGEBRAS.
- Published in:
- Acta Mathematica Universitatis Comenianae, 2007, v. 76, n. 2, p. 263
- By:
- Publication type:
- Article
11
Post Inequations.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2013, v. 20, n. 3-4, p. 255
- By:
- Publication type:
- Article
12
Boolean and Central Elements and Cantor-Bernstein Theorem in Bounded Pseudo-BCK-Algebras.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2010, v. 16, n. 3-5, p. 387
- By:
- Publication type:
- Article