On a generalization of quantifiers
From MaRDI portal
Publication:3245361
DOI10.4064/fm-44-1-12-36zbMath0078.24401OpenAlexW2954301182MaRDI QIDQ3245361
Publication date: 1957
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213418
Related Items
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC, Fibered universal algebra for first-order logics, Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents, Fuzzy quantifiers defined over fuzzy domains, On models with large automorphism groups, Saving the Square of Opposition, COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND, Human Thought, Mathematics, and Physical Discovery, Generalized quantifiers and well orderings, On Barwise and Cooper’s “Generalized Quantifiers and Natural Language”, Structural logic and abstract elementary classes with intersections, Logic, logics, and logicism, Most-intersection of countable sets, On second-order generalized quantifiers and finite structures, Dependence logic with generalized quantifiers: axiomatizations, LOGICALITY AND MODEL CLASSES, Completeness and decidability of general first-order logic (with a detour through the guarded fragment), Logic of temporal attribute implications, The Interior Operator Logic and Product Topologies, Restriction by noncontraction, Murphree's numerical term logic tableaux, Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \), Some quantifiers require two-predicate scopes, Invariance Properties of Quantifiers and Multiagent Information Exchange, Generalized quantifiers and pebble games on finite structures, Modality, invariance, and logical truth, Antonyms and linguistic quantifiers in fuzzy logic, Model theory of monadic predicate logic with the infinity quantifier, Independent set readings and generalized quantifiers, INVARIANCE CRITERIA AS META-CONSTRAINTS, Logical operations and invariance, Tarski's conception of logic, Modal ontology and generalized quantifiers, Question answering and database querying: bridging the gap with generalized quantification, On the relation between fuzzy and generalized quantifiers, Reasoning without believing: on the mechanisation of presuppositions and partiality, A Uniform Framework for Rough Approximations Based on Generalized Quantifiers, Stable-unstable semantics: Beyond NP with normal logic programs, An algebraic study of Peterson's intermediate syllogisms, Dynamic reasoning with qualified syllogisms, Reasoning about mathematical fuzzy logic and its future, Skolem Theory and Generalized Quantifiers, Homomorphisms from Functional Equations in Probability, Compositionality solves Carnap's problem, Introduction. The School: Its Genesis, Development and Significance, Andrzej Mostowski: A Biographical Note, Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy, A View of Revival of Mathematical Logic in Warsaw, 1945–1975, Andrzej Mostowski and the Notion of a Model, All Quantifiers Versus the Quantifier All, Categories of First-Order Quantifiers, Interactive semantic alignment model: social influence and local transmission bottleneck, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, Aristotelian syllogisms and generalized quantifiers, A characterization of definability of second-order generalized quantifiers with applications to non-definability, Semantic Assumptions in the Philosophy of Mathematics, Linguistic quantifiers modeled by Sugeno integrals, Quantifiers Are Logical Constants, but Only Ambiguously, Life on the Range: Quine’s Thesis and Semantic Indeterminacy, Absolute Generality and Semantic Pessimism, Quantifiers. Hintikka and Frege on Quantification Concepts, LOGICALITY AND MEANING, Quantitative Logic Reasoning, Syllogistic Logic with Cardinality Comparisons, On the expressive power of counting, Partially-ordered (branching) generalized quantifiers: A general definition, Inner models from extended logics: Part 1, Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices, The conservativity of \textit{many}: split scope and \textit{most}, The Square of Opposition and Generalized Quantifiers, On non-deterministic quantification, Generalized quantifiers in dependence logic, Functional interpretations of linear and intuitionistic logic, A note on extensions of infinitary logic, Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality, Some properties of iterated languages, Elimination of bound variables in logic with an arbitrary quantifier, Linguistic quantifiers based on Choquet integrals, Interpretation and inference with maximal referential terms, Axiomatization of crisp Gödel modal logic, Completeness theorems for continuous functions and product topologies, In memory of Andrzej Mostowski, Unnamed Item, Symmetric and contrapositional quantifiers, The Computational Complexity of Quantified Reciprocals, The modality and non-extensionality of the quantifiers, Mathematical logic and quantum finite state automata, Generalized fuzzy quantifiers and the modeling of fuzzy branching quantification, THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT, The Craig interpolation theorem in abstract model theory, On simplicity of formulas, Key notions of Tarski's methodology of deductive systems, Symmetric propositions and logical quantifiers, Monadic Second Order Logic with Measure and Category Quantifiers, The notions of isomorphism and identity for many-valued relational structures, Polyadic quantifiers, SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION, Generalized Quantifiers and Compact Logic, An overview of fuzzy quantifiers. I. Interpretations, \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures, Generalized quantifiers and natural language, A logic-based approach to incremental reasoning on multi-agent systems, On the Structure of Natural Deduction Derivations for “Generally”, A computational approach to fuzzy quantifiers in natural languages, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Optimal axiomatizations of finitely valued logics, Sequent Calculi for ‘Generally’, Graded labellings for abstract argumentation, Quantified constraints under perturbation, Fuzzy quantification: a state of the art, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances, Standard quantification theory in the analysis of English
