ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

Linearization of the BCK-logic (2000)

García Olmedo, Francisco M. ; Rodríguez Salas, Antonio J.

Springer

Studia logica 65 (2000), S. 31-51

add to mindlist on the mindlist

Details

ISSN: 1572-8730

Keywords: BCK algebras ; chains ; linearization ; algebraizable logic

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics , Philosophy

Notes: Abstract In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1005290924926

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit