Concepedia

The completeness problem in the algebra of partial functions of finite-valued logic

Cybernetics · 1990 · 20 citations · 1 references

On this page

Concepts

References

Concepts

HumanitiesComputer ScienceMathematicsAlgebraLogicTheory Of ComputationAxiomatic Set TheoryBoolean AlgebraFirst-order LogicMathematical LogicModel TheoryPredicate LogicComplete Boolean AlgebrasCompletenessFinite Boolean AlgebrasLogical CompletenessModel CompletenessPartial Recursive FunctionsTuring Completeness

References

1

The algebras of partial functions and their invariants

B. A. Romov · Cybernetics and Systems Analysis · 1981 · 78 citations

Natural Sciences, Computer Science, Mathematics +10