Cargando…
Fork algebras in algebra : logic and computer science /
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
River Edge, NJ :
World Scientific,
2002.
|
| Colección: | Advances in logic ;
v. 2. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn277199781 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 020328s2002 nju ob 001 0 eng d | ||
| 040 | |a CaPaEBR |b eng |e pn |c COCUF |d OCLCQ |d N$T |d YDXCP |d OCLCQ |d E7B |d OCLCQ |d DKDLA |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d AZK |d JBG |d COCUF |d AGLDB |d MOR |d CCO |d PIFBR |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d CRU |d OCLCQ |d INT |d VT2 |d OCLCQ |d TKN |d OCLCQ |d AU@ |d M8D |d UKAHL |d CEF |d ADU |d UKCRE |d DGN |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 181651968 |a 474661194 |a 474713200 |a 647683585 |a 888835047 |a 961617279 |a 962686730 |a 1100832362 |a 1112808991 |a 1153543268 |a 1191626313 | ||
| 020 | |a 9789812777928 |q (electronic bk.) | ||
| 020 | |a 981277792X |q (electronic bk.) | ||
| 020 | |a 9789810248765 |q (alk. paper) | ||
| 020 | |a 9810248768 |q (alk. paper) | ||
| 020 | |z 9810248768 |q (alk. paper) | ||
| 029 | 1 | |a AU@ |b 000049162498 | |
| 029 | 1 | |a AU@ |b 000051364959 | |
| 029 | 1 | |a AU@ |b 000053251613 | |
| 029 | 1 | |a DEBBG |b BV043116661 | |
| 029 | 1 | |a DEBSZ |b 422168505 | |
| 029 | 1 | |a GBVCP |b 802723446 | |
| 029 | 1 | |a NZ1 |b 12808099 | |
| 035 | |a (OCoLC)277199781 |z (OCoLC)181651968 |z (OCoLC)474661194 |z (OCoLC)474713200 |z (OCoLC)647683585 |z (OCoLC)888835047 |z (OCoLC)961617279 |z (OCoLC)962686730 |z (OCoLC)1100832362 |z (OCoLC)1112808991 |z (OCoLC)1153543268 |z (OCoLC)1191626313 | ||
| 037 | |n Title subscribed to via ProQuest Academic Complete | ||
| 050 | 4 | |a QA76.9.M35 |b F75 2002eb | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004/.01/51 |2 21 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Frias, Marcelo Fabián, |d 1968- | |
| 245 | 1 | 0 | |a Fork algebras in algebra : |b logic and computer science / |c Marcelo Fabián Frias. |
| 260 | |a River Edge, NJ : |b World Scientific, |c 2002. | ||
| 300 | |a 1 online resource (xi, 217 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Advances in logic ; |v v. 2 | |
| 504 | |a Includes bibliographical references (pages 207-213) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Ch. 1. Introduction and motivations. 1.1. Software specification, binary relations and fork -- ch. 2. Algebras of binary relations and relation algebras. 2.1. History and definitions. 2.2. Arithmetical properties -- ch. 3. Proper and abstract fork algebras. 3.1. On the origin of fork algebras. 3.2. Definition of the classes. 3.3. Arithmetical properties -- ch. 4. Representability and independence. 4.1. Representability of abstract fork algebras. 4.2. Independence of the axiomatization of fork -- ch. 5. Interpretability of classical first-order logic. 5.1. Basic definitions. 5.2. Interpreting FOLE -- ch. 6. Algebraization of non-classical logics. 6.1. Basic definitions and properties. 6.2. The fork logic FL. 6.3. Modal logics. 6.4. Representation of constraints in FL. 6.5. Interpretability of modal logics in FL. 6.6. A proof theoretical approach. 6.7. Interpretability of propositional dynamic logic in FL. 6.8. The fork logic FL'. 6.9. A Rasiowa-Sikorski calculus for FL'. 6.10. A relational proof system for intuitionistic logic. 6.11. A relational proof system for minimal intuitionistic logic. 6.12. Relational reasoning in intermediate logics -- ch. 7. A calculus for program construction. 7.1. Introduction. 7.2. Filters and sets. 7.3. The relational implication. 7.4. Representability and expressiveness in program construction. 7.5. A methodology for program construction. 7.6. Examples. 7.7. A D & C algorithm for MAXSTA. 7.8. Comparison with previous work. | |
| 520 | |a Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Frias, Marcelo Fabián, 1968- |t Folk algebras in algebra. |d River Edge, NJ : World Scientific, ©2002 |z 9810248768 |z 9789810248765 |w (DLC) 2002066193 |w (OCoLC)49558950 |
| 830 | 0 | |a Advances in logic ; |v v. 2. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210586 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24684771 | ||
| 938 | |a EBSCOhost |b EBSC |n 210586 | ||
| 938 | |a YBP Library Services |b YANK |n 2736175 | ||
| 994 | |a 92 |b IZTAP | ||