Jan Paseka (1 results)

Soft cover. Condition: Near Fine. 1st Edition. Book is clean and bright throughout with unmarked text, free of inscriptions and stamps, firmly bound. Straight uncreased spine. -- Contents: 1 Introduction 2 Preliminaries 2.1 Relations and ordered sets Algebras 2.3 Semilattices and lattices 2.4 Ideals and filters in lattices and their applications 2.5 Galois connections 2.6 Residuated structures 2.7 Modules over ordered structures 2.8 MacNeille completion 2.9 Heyting algebras 2.10 Effect algebras 3 Tense logics 4 Quantifiers 5 Tense Boolean algebras 5.1 The tense algebra 5.2 The construction of tense operators 5.3 Modal and necessity Boolean algebras 6 Dynamic algebras 6.1 Dynamic pairs 6.2 The construction 6.3 Relations between bounded poset morphisms 6.4 Representation of Galois connections 6.5 Set representation of dynamic order algebras 6.6 Representation of tense algebras 6.7 Dynamic order algebras and their MacNeille completion 6.8 Parallel worlds and representations of tense order algebras 7 Tense De Morgan posets 7.1 Tense De Morgan posets and their construction 7.2 Representation and approximation 7.3 Set representation of tense De Morgan posets 7.4 Set representation of tense orthocomplemented posets 8 Tense operators in distributive lattices 8.1 Tense, modal and necessity distributive algebras 8.2 Tense distributive De Morgan 8.3 Tense operators in intuitionistic logic 8.4 Finitely approximable Heyting algebras 9 Tense operators in quantum logic 9.1 Tense operators in effect algebras and their construction 9.2 Representation and approximation 9.3 Tense operators on q-effect algebras 9.4 Tense operators on spaces of numerical 10 Tense operators in fuzzy logic 10.1 Fuzzy dynamic pairs and fuzzy tense algebras 10.2 Fuzzy binary relations and general fuzzy Galois connections; Index; Bibliography.