Extension of not everywhere defined functions of many-valued logic

DOI10.1007/BF01074823zbMath0683.03009OpenAlexW2066769952MaRDI QIDQ4732444

Boris A. Romov

Publication date: 1987

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01074823

zbMATH Keywords

maximal subalgebraspartial functions of k- valfued logicpartial Sheffer property

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (17)

Weakly extendable partial clones on an infinite set. ⋮ Regularization of integer vector optimization problems ⋮ Minimal realizations of discrete systems ⋮ Design of symbolic-processing algorithms ⋮ Mutually complementary formalizations of deductive query languages ⋮ On multilevel structured program design for process-control systems ⋮ Probabilistic automata and simulation ⋮ Alphabet operators and algorithms ⋮ Stability of discrete optimization problems ⋮ Convergence of a simulation method for solution of combinatorial optimization problems ⋮ Optimizing the time to cross a region ⋮ Maximal finitely defined subalgebras of partial functions of infinite- valued logic ⋮ Unnamed Item ⋮ Extendable local partial clones ⋮ On polymorphism-homogeneous relational structures and their clones. ⋮ Endpoints of associated intervals for local clones on an infinite set ⋮ Unnamed Item

Cites Work

• On generating large classes of Sheffer functions
• Closed systems of functions and predicates
• Maximal subalgebras of algebras of partial multivalued logic functions
• Unnamed Item

This page was built for publication: Extension of not everywhere defined functions of many-valued logic