Você está na página 1de 4

Exemplos Bibtex - O Mundo da Lgica

https://sites.google.com/site/omundodalogica/...

O Mundo da
Lgica
Navegao
Pgina inicial
Latex

Pesquisar o site

Pgina inicial > Latex >

Exemplos Bibtex

Sitemap

Lgicas
O que lgica?
Lgicas Clssicas
Lgica Aristotlica

Para usar um nico arquivo de referncias para o latex, basta seguir os


seguintes passos:
1) Crie um arquivo com extenso .bib e nomeie como quiser, como por
exemplo:

Lgica Proposicional

bibliograa.bib

Lgica de Primeira
Ordem

2) Salve o arquivo .bib na mesma pasta do arquivo .tex

Lgicas No-Clssicas
Lgica Modal
Lgica Multimodal
Lgica Trivalente
Lgica
Paraconsistente

Lgicos
Os primeiros lgicos
Lgicos Medievais
Lgicos Modernos
Lgicos contemporneos

Puzzles
Puzzles
Paradoxos
Antinomias

Links
Colaboradores

3) Abra o editor de textos do latex --> Depois clique em arquivo --> abrir
(open) e abra o arquivo .bib (para isso necessrio mudar os tipos de
arquivos apresentados na janela de busca para .bib ao invs de .tex)
4) escreva
\bibliography {Referncias Bibliogrcas}
\label{Bibliograa}
e para adicionar itens ao arquivo use os modelos abaixo. No nal desta
pgina h exemplos de modelos preenchidos.
5) Abra o arquivo .tex e, no m do arquivo, antes da tag \end{document}
coloque a seguinte tag
\bibliographystyle{alpha}
\bibliography{bibliograa}
6) Veja um modelo de um arquivo .bib e do arquivo .tex preenchido nas
pginas a seguir:
Exemplo a
Exemplo b

Videos
Blogs
Livros
Referncias

Atividade recente
no site
Colaboradores

1 of 4

@article{,
author = {},
title = {},
journal = {},
volume = {},
number = {},
pages = {},

29-11-2015 00:54

Exemplos Bibtex - O Mundo da Lgica

editado por Samir Gorsky

Exemplos Bibtex

editado por Samir Gorsky

Exemplo de Arquivo bibtex


editado por Samir Gorsky

Exemplos Bibtex

editado por Samir Gorsky

Latex

editado por Samir Gorsky

View All

https://sites.google.com/site/omundodalogica/...

year =

@book{,
author = {},
title = {},
series = {},
volume = {},
publisher = {},
address = {},
year =
}
@misc{,
author = {},
title = {},
text = {},
year = {},
url = {}
}
@mastherthesis{,
author = {},
title = {},
school = {},
year = {},
address = {},
note {}
}
@phdthesis{,
author = {},
title = {},
school = {},
year = {},
address = {},
note = {},
}
@unpublished{,
author = {},
title = {},
year = {},
note = {},
}
@inproceedings{,
author = {},
year = {},
title = {},
booktitle = {},
editor = {},
pages = {},
publisher = {},

2 of 4

29-11-2015 00:54

Exemplos Bibtex - O Mundo da Lgica

https://sites.google.com/site/omundodalogica/...

volume = {},

@incollection{,
author = {},
title = {},
editor = {},
booktitle = {},
series = {},
volume = {},
chapter = {},
pages = {},
publisher = {},
address = {},
year =
}
__________________________________________________________________________
Exemplos
@ARTICLE{Carnielli_JMarcos_1999_Limits_for_paraconsistent_calculi,
author =
{W.A. Carnielli and J. Marcos},
title =
{Limits for paraconsistent calculi},
journal =
{Notre Dame Journal of Formal Logic},
year =
{1999},
volume =
{40},
number =
{3},
pages =
{375--390},
}
@BOOK{Bobenrieth-Miserda_1996_Inconsistencias_Por_que_no,
author =
{A. Bobenrieth-Miserda},
title =
{Inconsistencias >Por qu\'e no? Un
estudio los\'oco sobre la l\'ogica paraconsistente (in {S}panish)},
publisher = {Tercer Mundo Editores},
year =
{1996},
address =
{Santaf\'{e} de Bogot\'{a}},
}
@MASTERSTHESIS{Gor:2008,
author = {Samir Gorsky},
title = {A semntica algbrica para as lgicas modais e seu interesse
losco},
school = {IFCH-UNICAMP},
year = {2008},
address = {Campinas, Brazil},
note = {\\ URL = http://samirgorsky.vilabol.uol.com.br/logicamodal.pdf},
}
@PHDTHESIS{dCosta_1963_Inconsistent_Formal_Systems,
author =
{N. C. A. da Costa},
title =
"Inconsistent Formal Systems \emph{(in Portuguese)}",
school =
{Federal University of Parana},
year =
{1963},

3 of 4

29-11-2015 00:54

Exemplos Bibtex - O Mundo da Lgica

https://sites.google.com/site/omundodalogica/...

address =
"Curitiba, Brazil",
note =
{Edited by Editora UFPR, Curitiba, 1993},

@UNPUBLISHED{Coniglio_2001_Categorial_Combination_of_Logics_Completeness_Preser
author =
{M.E. Coniglio},
title =
{Categorial Combination of Logics: Completeness Preservation},
year =
{2001},
note =
{Forthcoming},
}
@INPROCEEDINGS{Caleiro_JMarcos_2001_Non-truthfunctional_bred_semantics,
author =
{C. Caleiro and J. Marcos},
year =
{2001},
title =
{Non-truth-functional bred semantics},
booktitle = {Proceedings of the 2001 International Conference on Articial
Intelligence
(IC-AI'2001)},
editor = {H. R. Arabnia},
pages =
{841--847},
publisher = {CSREA Press},
volume =
{II},
}
@INCOLLECTION{Gar:quaml,
AUTHOR = "James W. Garson",
TITLE = "Quantication in Modal Logic",
EDITOR = "D. Gabbay and F. Guenthner",
BOOKTITLE = "Handbook of Philosophical Logic, Volume II:
Extensions of Classical Logic",
SERIES = synthl,
VOLUME = 165,
CHAPTER = "II.5",
PAGES = "249--307",
PUBLISHER = reidel,
ADDRESS = "Dordrecht",
YEAR = 1984
}
Subpginas (1): Exemplo de Arquivo bibtex

Comments

Sign in | Recent Site Activity | Report Abuse | Print Page | Powered By Google Sites

4 of 4

29-11-2015 00:54