Abstract
The paper presents the main ideas of Ultrafilter Logic (UL), as introduced by Veloso and others. A new proposal, Normality Logic (NL), is outlined for expanding the expressive power of UL. The system NL appears to offer a simpler solution to the problem of expressive power than the sorting strategy of Carnielli and Veloso. Interpretations of NL are discussed and an important point of contact to Hansson's notion of non-prioritized belief revision is observed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Carnielli, W. A. and P. A. S. Veloso, ‘Ultrafilter Logic and Generic Reasoning’, in G. Gottlob et al. (eds), Computational Logic and Proof Theory, 34–55, Springer, 1997.
Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1991.
Fuhrmann, A., An Essay on Contraction, CSLI, 1997.
Fuhrmann, A., ‘When Hyperpropositions Meet’, Journal of Philosophical Logic 28:173–86, 1999.
Hansson, S. O., ‘Non-Prioritized Belief Change’, Ch. 8 of Belief Base Dynamics, PhD dissertation, Uppsala University, 1991.
Hansson, S. O., ‘Semi-Revision’, Journal of Applied Non-Classical Logics 7:151–75, 1997.
Poole, D., ‘A Logical Framework for Default Reasoning’, Artificial Intelligence 36:27–47, 1988.
Reiter, R., ‘A Logic for Default Reasoning’, Artificial Intelligence 13:81–132, 1980.
Sette, A. M., W. A. Carnielli, and P. A. S. Veloso, ‘An Alternative View of Default Reasoning and its Logic’, in E. H. Haeusler and L. C. Pereira (eds), Pratica, PUC, 1999.
Veloso, P. A. S., ‘On some Meanings for “Generally” and “Rarely”’, typescript, 2001.
Veloso, P. A. S. and W. A. Carnielli, ‘Logics for Qualitative Reasing’, typescript, 200+.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fuhrmann, A. Some Remarks on Ultrafilter and Normality Logics. Studia Logica 73, 197–207 (2003). https://doi.org/10.1023/A:1022979812887
Issue Date:
DOI: https://doi.org/10.1023/A:1022979812887