Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 6 / Issue 1

available in:   PDF (268 kB) PS (147 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-006-01-0005

 

Weak Inclusion Systems: Part Two

Virgil Emil Cazanescu (Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest, Romania)

Grigore Rosu (Department of Computer Science and Engineering, University of California, USA)

Abstract: New properties and implications of inclusion systems are investigated in the present paper. Many properties of lattices, factorization systems and special practical cases can be abstracted and adapted to our framework, making the various versions of inclusion systems useful tools for computer scientists and mathematicians.


1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift.

Keywords: category theory, logic

Categories: F.4.1