- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
XII Brazilian Logic Conference
Bulletin of Symbolic Logic 7 (2):295-295 (2001)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1017/s1079898600005965
My notes
Similar books and articles
Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981.C.-T. Chong & M. J. Wicks (eds.) - 1983 - Elsevier.
Proceedings of the Poster Session of the 29th Annual West Coast Conference on Formal Linguistics (WCCFL 29).Hiroki Nomoto - forthcoming - In Proceedings of the Poster Session of the 29th Anual West Coast Conference on Formal Linguistics (WCCFL 29). University of Arizona Linguistics Circle.
Kant and the Philosophical Tradition – Kant Today. Brazilian-Italian-Portuguese Kant Conference. Bericht zur Tagung vom 22.–25. Januar 2008 in Verona und Padua. [REVIEW]Margit Ruffing - 2008 - Kant Studien 99 (3):387-392.
NUL-natural deduction for ultrafilter logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
Completeness of an Action Logic for Timed Transition Systems.Fernando Náufel do Amaral & Edward Hermann Haeusler - 2000 - Bulletin of the Section of Logic 29 (4):151-160.
What is Pragmatism in Brazil Today?Paulo Ghiraldelli & Cody Carr - 2005 - Studies in Philosophy and Education 24 (6):499-514.
In the following pages are to be found sixteen of the forty papers delivered at the Ontario Society for the Study of Argumentation (OSSA) conference held at Brock University, St. Catharines, Ontario in May of 1995. Most of the papers have been revised in light of comments raised at the conference and by referees for these" Proceedings". [REVIEW]Informal Logic - 1995 - Informal Logic 17 (2):123-126.
Estratégias de internacionalização da mídia brasileira.Eula Dantas Taveira Cabral - 2008 - Logos: Comuniação e Univerisdade 15 (1):73-83.
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
A natural deduction system for ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.
An infinitary extension of mall−.Luiz Carlos Pd Pereira & Edward Hermann Haeusler - 1999 - Bulletin of the Section of Logic 28 (4):225-233.
Analytics
Added to PP
2014-03-25
Downloads
21 (#548,977)
6 months
1 (#481,788)
2014-03-25
Downloads
21 (#548,977)
6 months
1 (#481,788)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ffd8f9497-z94v9 N