Article,
Squares in Fork Arrow Logic.
R. de Freitas, J. Viana, M. Benevides, S. Veloso, and P. Veloso.J. Philosophical Logic, 32 (4): 343-355 (2003)
Meta data
- BibTeX key
- journals/jphil/FreitasVBVV03
- entry type
- article
- year
- 2003
- journal
- J. Philosophical Logic
- number
- 4
- pages
- 343-355
- volume
- 32
- ee
- https://doi.org/10.1023/A:1024847106313
- url
- http://dblp.uni-trier.de/db/journals/jphil/jphil32.html#FreitasVBVV03
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jphil/FreitasVBVV03
%A de Freitas, Renata P.
%A Viana, Jorge Petrucio
%A Benevides, Mario R. F.
%A Veloso, Sheila R. M.
%A Veloso, Paulo A. S.
%D 2003
%J J. Philosophical Logic
%K dblp
%N 4
%P 343-355
%T Squares in Fork Arrow Logic.
%U http://dblp.uni-trier.de/db/journals/jphil/jphil32.html#FreitasVBVV03
%V 32
@article{journals/jphil/FreitasVBVV03,
added-at = {2019-10-19T00:00:00.000+0200},
author = {de Freitas, Renata P. and Viana, Jorge Petrucio and Benevides, Mario R. F. and Veloso, Sheila R. M. and Veloso, Paulo A. S.},
biburl = {https://www.bibsonomy.org/bibtex/22aed92ff2d8584dc2343f1cfff294d78/dblp},
ee = {https://doi.org/10.1023/A:1024847106313},
interhash = {8f24eb6c4a26d4cd2aedb72c1903e678},
intrahash = {2aed92ff2d8584dc2343f1cfff294d78},
journal = {J. Philosophical Logic},
keywords = {dblp},
number = 4,
pages = {343-355},
timestamp = {2019-10-22T12:25:29.000+0200},
title = {Squares in Fork Arrow Logic.},
url = {http://dblp.uni-trier.de/db/journals/jphil/jphil32.html#FreitasVBVV03},
volume = 32,
year = 2003
}