Implication and Nets (an experiment about implication)

eLibrary

 
 

Implication and Nets (an experiment about implication)

Show simple item record

dc.contributor.advisor Aleksandar Kron
dc.contributor.author Vukomanović, Đorđe en_US
dc.date.accessioned 2009-12-03T12:00:51Z
dc.date.available 2009-12-03T12:00:51Z
dc.date.issued 1985
dc.identifier.uri http://hdl.handle.net/123456789/40
dc.description.abstract The thesis consists of three chapters. In Chapter 1 non-strict deductive implicative algebras are studied. Weak deductive, n-deductive and ω-deductive implicative algebras are introduced. Two kinds of complements, pseudo-complement and contraposition complement in deductive implicative algebras are defined, and the connection between these algebras and deductive implicative algebras with complement are presented. Certain properties of several implicative filters in implicative algebras and their connections with homomorphsms and congruences of these algebras are studied. In the last part of Chapter 1 the representation theorems for implicative algebras mentioned in the previous parts of the chapter are proved. The strict deductive implicative algebras and their properties, which are analogous to the properties algebras from the first chapter, are studied in Chapter 2. In the last part of that chapter the representation theorems for the strict implicative algebras are proved. In Chapter 3 deductive implicative algebras in the context of deductive (sub)nets are studied. Important notions of different forms of limited distribution and many interesting connections between these distributions and the properties of deductive nets are presented. It is shown that an implicative algebra can be drowned isomorphicaly into finite deductive subnet of sets or a net such that the implication are preserved. en
dc.description.provenance Made available in DSpace on 2009-12-03T12:00:51Z (GMT). No. of bitstreams: 1 phdDjordjeVukomanovic.pdf: 6744952 bytes, checksum: 0aed0eb351b98b0386948c979434fa4d (MD5) en
dc.format.extent 106
dc.publisher Belgrade en_US
dc.title Implication and Nets (an experiment about implication) en_US
dc.title.alternative Implikacija i mreže (ogled o implikaciji) sr
mf.subject.keywords non-strict deductive implicative algebras, strict deductive implicative algebras, deductive nets
mf.contributor.committee dr Slaviša Prešić
mf.contributor.committee Žarko Mijajlović

Files in this item

Files Size Format View
phdDjordjeVukomanovic.pdf 6.744Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record