Add to ORKGIn this paper we thoroughly investigate several kinds of residuated ordered structures, connected with propositional logics. In particular we give ternary deduction terms for several classes of algebras, that are the equivalent algebraic semantics of deductive systems, coming from logics not necessarily satisfying the structural rules
According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The princ...
In the shade of the algebraic study of substructural logics, we deal with the variety of residuated ...
summary:We generalize the concept of an integral residuated lattice to join-semilattices with an upp...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
summary:An algebra ${\mathcal A}= (A,F)$ is subregular alias regular with respect to a unary term fu...
This paper describes a proof theoretic and semantic approach in which logics belonging to different ...
Abstract. An algebra A = (A,F) is subregular alias regular with respect to a unary term function g i...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
We present a number of results related to the decidability and undecidability of various varieties o...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
Deduction chains represent a syntactic and in a certain sense constructive method for proving comple...
Being a two valued logics, classical logic associates with each proposition one of the two values: t...
In this series of papers we set out to generalize the notion of classical analytic deduction (i.e., ...
Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.Paper 1. This paper establishes several ...
According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The princ...
In the shade of the algebraic study of substructural logics, we deal with the variety of residuated ...
summary:We generalize the concept of an integral residuated lattice to join-semilattices with an upp...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
summary:An algebra ${\mathcal A}= (A,F)$ is subregular alias regular with respect to a unary term fu...
This paper describes a proof theoretic and semantic approach in which logics belonging to different ...
Abstract. An algebra A = (A,F) is subregular alias regular with respect to a unary term function g i...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
We present a number of results related to the decidability and undecidability of various varieties o...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
Deduction chains represent a syntactic and in a certain sense constructive method for proving comple...
Being a two valued logics, classical logic associates with each proposition one of the two values: t...
In this series of papers we set out to generalize the notion of classical analytic deduction (i.e., ...
Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.Paper 1. This paper establishes several ...
According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The princ...
In the shade of the algebraic study of substructural logics, we deal with the variety of residuated ...
summary:We generalize the concept of an integral residuated lattice to join-semilattices with an upp...