Ultrafilter logic and generic reasoning

MaRDI QIDQ4364502zbMATH OpenFDO

Authors Paulo A. S. Veloso, Walter Carnielli

Publication date 1 April 1998

zbMATH Keywords

generalized quantifiers over ultrafiltersgeneric reasoningmonotonic ultrafilter logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Logic in artificial intelligence (68T27)

Recommendations

• On ultrafilter logic and special functions
• scientific article; zbMATH DE number 2015277
• scientific article; zbMATH DE number 2097567
• scientific article; zbMATH DE number 2015285
• scientific article; zbMATH DE number 2064305

Cited in

(12)

• On ultrafilter logic and special functions
• Default consequence relations from topology and measure theory
• Sequent calculi for `generally'
• A modal logic of knowledge, belief, and estimation
• scientific article; zbMATH DE number 2015285 (Why is no real title available?)
• scientific article; zbMATH DE number 1463253 (Why is no real title available?)
• Knowledge means ‘all’, belief means ‘most’
• scientific article; zbMATH DE number 2097567 (Why is no real title available?)
• Mechanical Reasoning about Families of UTP Theories
• On the Structure of Natural Deduction Derivations for “Generally”
• On weak filters and ultrafilters: Set theory from (and for) knowledge representation
• Ultrafilters on words for a fragment of logic

This page was built for publication: Ultrafilter logic and generic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364502)