- 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
Works by Paulo As Veloso
11 found
Order:
- 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.
- A finitary relational algebra for classical first-order logic.Paulo As Veloso & Armando M. Haeberer - 1991 - Bulletin of the Section of Logic 20 (2):52-62.
- Aspectos de uma teoria geral de problemas.Paulo As Veloso - 1984 - Cadernos de História E Filosofia da Ciéncia 7:21-42.No categories
- Characterisations for fork algebras and their relational reducts.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (3):144-155.
- Is fork set-theoretical.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (1):20-30.No categories
- On eight independent equational axiomatisations for fork algebras.Paulo As Veloso - 1998 - Bulletin of the Section of Logic 27 (3):117-129.
- On finite and infinite fork algebras and their relational reducts.Paulo As Veloso - 1996 - Logique Et Analyse 39 (154):35-50.Export citation
Bookmark - On some misconceptions about ultrafilter logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (1/2):1-12.
- On the independence of the axioms for fork algebras.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (4):197-209.
- On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.
- Why Ultrafilters for almost all.Paulo As Veloso - 1999 - Bulletin of the Section of Logic 28 (4):183-193.
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-5ff6c685cb-rv6xt uwo