Process-algebraic interpretations of positive linear and relevant logics:
Abstract: "We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and combinations of relevance and modality to account also for dynamic behaviour. A general notion of model is introduced, based on which three examples are given, u...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1992
|
| Series: | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series
216 |
| Subjects: | |
| Summary: | Abstract: "We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and combinations of relevance and modality to account also for dynamic behaviour. A general notion of model is introduced, based on which three examples are given, using Milner's synchronous process calculus SCCS. The structure of models is enriched by prefixing operators to cover also dynamic behaviour. Logically dynamic behaviour is captured by adding past and future modal operators. The resulting logic is given sound and complete axiomatisations and shown to conservatively extend the positive fragment of linear logic Finally the induced interpretations of formulas on process terms are characterised, and axiomatisations are given which are sound and complete with respect to validity in the process-based interpretations. The completeness proofs are based on rewriting and provide procedures for deciding validity and consistency of formulas with respect to the process- based interpretations. |
| Physical Description: | 34 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009692801 | ||
| 003 | DE-604 | ||
| 005 | 19991115 | ||
| 007 | t | ||
| 008 | 940708s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27366484 | ||
| 035 | |a (DE-599)BVBBV009692801 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Dam, Mads |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Process-algebraic interpretations of positive linear and relevant logics |c By Mads Dam |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 34 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 216 | |
| 520 | 3 | |a Abstract: "We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and combinations of relevance and modality to account also for dynamic behaviour. A general notion of model is introduced, based on which three examples are given, using Milner's synchronous process calculus SCCS. The structure of models is enriched by prefixing operators to cover also dynamic behaviour. Logically dynamic behaviour is captured by adding past and future modal operators. The resulting logic is given sound and complete axiomatisations and shown to conservatively extend the positive fragment of linear logic | |
| 520 | 3 | |a Finally the induced interpretations of formulas on process terms are characterised, and axiomatisations are given which are sound and complete with respect to validity in the process-based interpretations. The completeness proofs are based on rewriting and provide procedures for deciding validity and consistency of formulas with respect to the process- based interpretations. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Algebraic logic | |
| 830 | 0 | |a Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |v 216 |w (DE-604)BV008930032 |9 216 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006410380 | ||
Record in the Search Index
| _version_ | 1804124038116671488 |
|---|---|
| any_adam_object | |
| author | Dam, Mads |
| author_facet | Dam, Mads |
| author_role | aut |
| author_sort | Dam, Mads |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV009692801 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)27366484 (DE-599)BVBBV009692801 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02092nam a2200337 cb4500</leader><controlfield tag="001">BV009692801</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991115 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940708s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27366484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009692801</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dam, Mads</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process-algebraic interpretations of positive linear and relevant logics</subfield><subfield code="c">By Mads Dam</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">34 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">216</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and combinations of relevance and modality to account also for dynamic behaviour. A general notion of model is introduced, based on which three examples are given, using Milner's synchronous process calculus SCCS. The structure of models is enriched by prefixing operators to cover also dynamic behaviour. Logically dynamic behaviour is captured by adding past and future modal operators. The resulting logic is given sound and complete axiomatisations and shown to conservatively extend the positive fragment of linear logic</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Finally the induced interpretations of formulas on process terms are characterised, and axiomatisations are given which are sound and complete with respect to validity in the process-based interpretations. The completeness proofs are based on rewriting and provide procedures for deciding validity and consistency of formulas with respect to the process- based interpretations.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series</subfield><subfield code="v">216</subfield><subfield code="w">(DE-604)BV008930032</subfield><subfield code="9">216</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006410380</subfield></datafield></record></collection> |
| id | DE-604.BV009692801 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:18Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006410380 |
| oclc_num | 27366484 |
| open_access_boolean | |
| physical | 34 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| series2 | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series |
| spelling | Dam, Mads Verfasser aut Process-algebraic interpretations of positive linear and relevant logics By Mads Dam Edinburgh 1992 34 S. txt rdacontent n rdamedia nc rdacarrier Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 216 Abstract: "We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and combinations of relevance and modality to account also for dynamic behaviour. A general notion of model is introduced, based on which three examples are given, using Milner's synchronous process calculus SCCS. The structure of models is enriched by prefixing operators to cover also dynamic behaviour. Logically dynamic behaviour is captured by adding past and future modal operators. The resulting logic is given sound and complete axiomatisations and shown to conservatively extend the positive fragment of linear logic Finally the induced interpretations of formulas on process terms are characterised, and axiomatisations are given which are sound and complete with respect to validity in the process-based interpretations. The completeness proofs are based on rewriting and provide procedures for deciding validity and consistency of formulas with respect to the process- based interpretations. Computer software sigle Mathematics sigle Mathematik Algebraic logic Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 216 (DE-604)BV008930032 216 |
| spellingShingle | Dam, Mads Process-algebraic interpretations of positive linear and relevant logics Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series Computer software sigle Mathematics sigle Mathematik Algebraic logic |
| title | Process-algebraic interpretations of positive linear and relevant logics |
| title_auth | Process-algebraic interpretations of positive linear and relevant logics |
| title_exact_search | Process-algebraic interpretations of positive linear and relevant logics |
| title_full | Process-algebraic interpretations of positive linear and relevant logics By Mads Dam |
| title_fullStr | Process-algebraic interpretations of positive linear and relevant logics By Mads Dam |
| title_full_unstemmed | Process-algebraic interpretations of positive linear and relevant logics By Mads Dam |
| title_short | Process-algebraic interpretations of positive linear and relevant logics |
| title_sort | process algebraic interpretations of positive linear and relevant logics |
| topic | Computer software sigle Mathematics sigle Mathematik Algebraic logic |
| topic_facet | Computer software Mathematics Mathematik Algebraic logic |
| volume_link | (DE-604)BV008930032 |
| work_keys_str_mv | AT dammads processalgebraicinterpretationsofpositivelinearandrelevantlogics |