Add to ORKGThe Russian researcher, M. Telpiz, presented 1985 in Russia a totally new approach to logic algebra (and L. Chtcherbanski, a friend of his, brought the ideas to Berlin/Germany in 1995). PLA may be an elegant and better representation for some problem domains then the Boolean Algebra. Highlights of PLA are: ffl Only one simple algorithm holds for all calculations ffl Invert operators build invert functions ffl Operators are directly applicable on operators and therefore ffl Compilation of multi-layer networks are possible via simple calculations over operators only PLA has a potential for new applications in logical calculus problems, specially with many variables. Because operators are directly applicable on operators, PLA may be of spe...
AbstractA Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net...
The general theory of abstract algebraic logic (AAL from now on) was first introduced in [1]. It aim...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
Abstract. The most recent wave of applications of logic to operator algebras is a young and rapidly ...
Algebraic modelling is an important technique in practical applications that require to formulate an...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
he paper reports on an experiment with the major linear logic programming languages defined in the r...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
1. A motivation for algebraic approaches to logics To realize the importance of the research work of...
This thesis sets out to examine the possibility of devising a theory which will give a unified accou...
Being a two valued logics, classical logic associates with each proposition one of the two values: t...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
AbstractLinear logic is a logic of actions which seems well suited to various computer science appli...
AbstractA Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net...
The general theory of abstract algebraic logic (AAL from now on) was first introduced in [1]. It aim...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...
Abstract. The most recent wave of applications of logic to operator algebras is a young and rapidly ...
Algebraic modelling is an important technique in practical applications that require to formulate an...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
he paper reports on an experiment with the major linear logic programming languages defined in the r...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
1. A motivation for algebraic approaches to logics To realize the importance of the research work of...
This thesis sets out to examine the possibility of devising a theory which will give a unified accou...
Being a two valued logics, classical logic associates with each proposition one of the two values: t...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
AbstractLinear logic is a logic of actions which seems well suited to various computer science appli...
AbstractA Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net...
The general theory of abstract algebraic logic (AAL from now on) was first introduced in [1]. It aim...
To appear in Theory and Practice of Logic Programming (TPLP)International audienceSeveral formal sys...