An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.
A. Formisano, E. Omodeo, and E. Orlowska. Theory and Applications of Relational Structures as Knowledge Instruments, volume 4342 of Lecture Notes in Computer Science, Springer, (2006)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 conf/RelMiCS/FormisanoOO06
%A Formisano, Andrea
%A Omodeo, Eugenio G.
%A Orlowska, Ewa
%B Theory and Applications of Relational Structures as Knowledge Instruments
%D 2006
%E de Swart, Harrie C. M.
%E Orlowska, Ewa
%E Schmidt, Gunther
%E Roubens, Marc
%I Springer
%K dblp
%P 89-104
%T An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.
%U http://dblp.uni-trier.de/db/conf/RelMiCS/tarski2006.html#FormisanoOO06
%V 4342
%@ 3-540-69223-1
@incollection{conf/RelMiCS/FormisanoOO06,
added-at = {2020-07-13T00:00:00.000+0200},
author = {Formisano, Andrea and Omodeo, Eugenio G. and Orlowska, Ewa},
biburl = {https://www.bibsonomy.org/bibtex/2274044f96c2f808f1f801e2b2f61723b/dblp},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments},
crossref = {conf/RelMiCS/2006tarski},
editor = {de Swart, Harrie C. M. and Orlowska, Ewa and Schmidt, Gunther and Roubens, Marc},
ee = {https://doi.org/10.1007/11964810_5},
interhash = {f1f69b898306a0080cc95a6cef2fe8dd},
intrahash = {274044f96c2f808f1f801e2b2f61723b},
isbn = {3-540-69223-1},
keywords = {dblp},
pages = {89-104},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T07:57:23.000+0200},
title = {An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.},
url = {http://dblp.uni-trier.de/db/conf/RelMiCS/tarski2006.html#FormisanoOO06},
volume = 4342,
year = 2006
}