The polyadic generalization of the Boolean axiomatization of fields of sets (original) (raw)

The representations of polyadic-like equality algebras

Miklós Ferenczi

arXiv (Cornell University), 2011

View PDFchevron_right

Representations of polyadic-like equality algebras

Miklós Ferenczi

Algebra universalis, 2015

View PDFchevron_right

On the definition and the representability of quasi-polyadic equality algebras

Miklós Ferenczi

Mathematical Logic Quarterly, 2016

View PDFchevron_right

On the equational theory of representable polyadic equality algebras (extended abstract)

István Németi

Logic Journal of IGPL, 1998

View PDFchevron_right

A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct

Hajnal Andréka

Studia Scientiarum Mathematicarum Hungarica, 2013

View PDFchevron_right

Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples

Jamshid Derakhshan

2013

View PDFchevron_right

Boolean-like algebras of finite dimension

Francesco Paoli

2018

View PDFchevron_right

Generalizations of Boolean algebras. An attribute exploration

Léonard Kwuida

Mathematica Slovaca, 2006

View PDFchevron_right

Associative Algebraic Structures in the Set of Boolean Functions and Some Applications in Automata Theory

Dan Simovici

IEEE Transactions on Computers, 1971

View PDFchevron_right

3 Analysis of Boolean algebra to unified algebra

DAYA SHANKAR PRATAP

International journal of applied research, 2018

View PDFchevron_right

Finiteness conditions and distributive laws for Boolean algebras

Marcel Erné

MLQ, 2009

View PDFchevron_right

Logics based on partial Boolean σ-algebras

Janusz Czelakowski

Studia Logica, 1975

View PDFchevron_right

BOOLEAN LIKE ALGEBRAS

Tomasz Kowalski, Francesco Paoli

View PDFchevron_right

OVERLAP ALGEBRAS: A CONSTRUCTIVE LOOK AT COMPLETE BOOLEAN ALGEBRAS

Michele Contente

2019

View PDFchevron_right

Axiomatization of Boolean algebras via weak dicomplementations

Léonard Kwuida

View PDFchevron_right

Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints

Peter Revesz

Proc. 8th European Conference on Advances in Databases and Information Systems, Springer LNCS, 2004

View PDFchevron_right

Cylindric algebras and finite polyadic algebras

Miklós Ferenczi

Algebra universalis, 2018

View PDFchevron_right

Partial Boolean algebras in a broader sense

Janusz Czelakowski

Studia Logica, 1979

View PDFchevron_right

Boolean Algebra as an Abstract Structure: Edward V. Huntington and Axiomatization

Janet Barnett

2013

View PDFchevron_right

On Algebraization of Classical First Order Logic

Kahtan Alzubaidy

2014

View PDFchevron_right

Some Properties of Finite Boolean Algebra

Dr. Md. Ekramul Islam

Global Journal of Science Frontier Research, 2013

View PDFchevron_right

Constructive version of Boolean algebra

Francesco Ciraulo

Logic Journal of IGPL, 2013

View PDFchevron_right

On the search for a finitizable algebraization of first order logic

Ildikó Sain

Logic Journal of IGPL, 2000

View PDFchevron_right

Logics based on partial Boolean σ-algebras (1)

Janusz Czelakowski

Studia Logica, 1974

View PDFchevron_right

Hyperfinite logics and non-standard extensions of Boolean algebras

Miklós Ferenczi

Publications de l'Institut Math?matique (Belgrade)

View PDFchevron_right

Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

Ildikó Sain

Logic Journal of IGPL, 1993

View PDFchevron_right

Games in algebraic logic: axiomatisations and beyond

Robin Hirsch

2005

View PDFchevron_right

Introducing Boolean Semilattices

Clifford Bergman

Outstanding Contributions to Logic, 2018

View PDFchevron_right

Finite Implication Algebras

Colin Bailey, Joseph Oliveira

2009

View PDFchevron_right

Vladimirov D. A. Boolean Algebras in Analysis

Semen Kutateladze

View PDFchevron_right

The Semiring Properties of Boolean Propositional Algebras

Shrisha Rao

Arxiv preprint arXiv:0901.2439, 2009

View PDFchevron_right

Boolean topoi and models of ZFC

Barry Cunningham

1973

View PDFchevron_right

Troubles with Single-Value Algebraic STRUCTURES’ Definition in Set Theory and Some Ways to Solve Them

Mikhail Mikhaylov

2015

View PDFchevron_right