{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:33:51Z","timestamp":1725478431699},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692232"},{"type":"electronic","value":"9783540692249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964810_7","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T13:12:54Z","timestamp":1169557974000},"page":"125-161","source":"Crossref","is-referenced-by-count":3,"title":["Relational Logics and Their Applications"],"prefix":"10.1007","author":[{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Or\u0142owska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11964810_6","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments II","author":"A. Burrieza","year":"2006","unstructured":"Burrieza, A., Ojeda-Aciego, M., Or\u0142owska, E.: Relational Approach to Order-of-Magnitude Reasoning. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) TARSKI 2006. LNCS, vol.\u00a04342, pp. 105\u2013124. Springer, Heidelberg (2006)"},{"unstructured":"Dallien, J., MacCaull, W.: RelDT: A relational dual tableaux automated theorem prover, (preprint, 2005)","key":"7_CR2"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF01530788","volume":"12","author":"S. Demri","year":"1994","unstructured":"Demri, S., Or\u0142owska, E.: Towards reasoning about Hoare relations. Annals of Mathematics and Artificial Intelligence\u00a012, 265\u2013289 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(95)00190-5","volume":"202","author":"S. Demri","year":"1996","unstructured":"Demri, S., Or\u0142owska, E.: Logical analysis of demonic nondeterministic programs. Theoretical Computer Science\u00a0202, 173\u2013202 (1996)","journal-title":"Theoretical Computer Science"},{"unstructured":"Formisano, A., Omodeo, E., Or\u0142owska, E.: A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems. In: Beckert, B. (ed) TABLEAUX 2005, Position Papers and Tutorial Descriptions, Universit\u00e4t Koblenz-Landau, Fachberichte Informatik No 12, pp. 1\u201310 (2005)","key":"7_CR5"},{"doi-asserted-by":"crossref","unstructured":"Formisano, A., Nicolosi Asmundo, M.: An efficient relational deductive system for propositional non-classical logics. Journal of Applied Non-Classical Logics (to appear, 2006)","key":"7_CR6","DOI":"10.3166\/jancl.16.367-408"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11964810_5","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments II","author":"A. Formisano","year":"2006","unstructured":"Formisano, A., Omodeo, E.G., Or\u0142owska, E.: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) TARSKI 2006. LNCS, vol.\u00a04342, pp. 89\u2013104. Springer, Heidelberg (2006)"},{"issue":"151-152","key":"7_CR8","first-page":"239","volume":"150-","author":"M. Frias","year":"1995","unstructured":"Frias, M., Or\u0142owska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse, 150-151-152, 239-284 (1995)","journal-title":"Logique et Analyse"},{"unstructured":"Goli\u0144ska-Pilarek, J., Or\u0142owska, E.: Tableaux and dual Tableaux: Transformation of proofs. In: Studia Logica (to appear, 2006)","key":"7_CR9"},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/jigpal\/6.5.755","volume":"6","author":"B. Konikowska","year":"1998","unstructured":"Konikowska, B., Morgan, C., Or\u0142owska, E.: A relational formalisation of arbitrary finite-valued logics. Logic Journal of IGPL\u00a06(5), 755\u2013774 (1998)","journal-title":"Logic Journal of IGPL"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1093\/jigpal\/5.5.673","volume":"5","author":"W. MacCaull","year":"1997","unstructured":"MacCaull, W.: Relational proof theory for linear and other substructural logics. Logic Journal of IGPL\u00a05, 673\u2013697 (1997)","journal-title":"Logic Journal of IGPL"},{"key":"7_CR12","volume-title":"Logic at Work. Essays dedicated to the memory of Helena Rasiowa","author":"W. MacCaull","year":"1998","unstructured":"MacCaull, W.: Relational tableaux for tree models, language models and information networks. In: Or\u0142owska, E. (ed.) Logic at Work. Essays dedicated to the memory of Helena Rasiowa. Springer, Heidelberg (1998a)"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.2307\/2586855","volume":"63","author":"W. MacCaull","year":"1998","unstructured":"MacCaull, W.: Relational semantics and a relational proof system for full Lambek Calculus. Journal of Symbolic Logic\u00a063(2), 623\u2013637 (1998b)","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1023\/A:1020572931854","volume":"71","author":"W. MacCaull","year":"2002","unstructured":"MacCaull, W., Or\u0142owska, E.: Correspondence results for relational proof systems with applications to the Lambek calculus. Studia Logica\u00a071, 279\u2013304 (2002)","journal-title":"Studia Logica"},{"key":"7_CR15","first-page":"443","volume-title":"Algebraic Logic, Colloquia Mathematica Societatis Janos Bolyai","author":"E. Or\u0142owska","year":"1988","unstructured":"Or\u0142owska, E.: Relational interpretation of modal logics. In: Andreka, H., Monk, D., Nemeti, I. (eds.) Algebraic Logic, Colloquia Mathematica Societatis Janos Bolyai, vol.\u00a054, pp. 443\u2013471. North Holland, Amsterdam (1988)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"1425","DOI":"10.2307\/2275375","volume":"57","author":"E. Or\u0142owska","year":"1992","unstructured":"Or\u0142owska, E.: Relational proof systems for relevant logics. Journal of Symbolic Logic\u00a057, 1425\u20131440 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1080\/11663081.1993.10510805","volume":"3","author":"E. Or\u0142owska","year":"1993","unstructured":"Or\u0142owska, E.: Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logic\u00a03, 147\u2013171 (1993)","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-015-8273-5_11","volume-title":"Philosophical Logic in Poland","author":"E. Or\u0142owska","year":"1994","unstructured":"Or\u0142owska, E.: Relational semantics for non-classical logics: Formulas are relations. In: Wole\u0144ski, J. (ed.) Philosophical Logic in Poland, pp. 167\u2013186. Kluwer, Dordrecht (1994)"},{"doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E.: Temporal logics in a relational framework. In: Bolc, L., Sza\u0142as, A. (eds.) Time and Logic-a Computational Approach, pp. 249\u2013277. University College London Press (1995)","key":"7_CR19","DOI":"10.4324\/9780429321047-6"},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-2798-3_5","volume-title":"Proof Theory of Modal Logics","author":"E. Or\u0142owska","year":"1996","unstructured":"Or\u0142owska, E.: Relational proof systems for modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logics, pp. 55\u201377. Kluwer, Dordrecht (1996)"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-7091-6510-2_6","volume-title":"Relational Methods in Computer Science","author":"E. Or\u0142owska","year":"1997","unstructured":"Or\u0142owska, E.: Relational formalisation of non-classical logics. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 90\u2013105. Springer, Wien\/New York (1997)"},{"key":"7_CR22","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw (1963)"},{"unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg","key":"7_CR23"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. The Journal of Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"The Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.R.: A Formalization of Set Theory without Variables. vol.\u00a041. Colloquium Publications, American Mathematical Society (1987)","key":"7_CR25","DOI":"10.1090\/coll\/041"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Relational Structures as Knowledge Instruments II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964810_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T21:27:49Z","timestamp":1587331669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964810_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692232","9783540692249"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11964810_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}