Generalized quantifiers and natural language

From MaRDI portal
Publication:3927223

DOI10.1007/BF00350139zbMath0473.03033OpenAlexW4236828747MaRDI QIDQ3927223

Robin Cooper, Jon Barwise

Publication date: 1981

Published in: Linguistics and Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00350139




Related Items

Natural language, sortal reducibility and generalized quantifiersA generalized quantifier logic for naked infinitivesEuropean Summer Meeting of the Association for Symbolic LogicLogical constants in quantifier languagesProbabilistic pragmatics explains gradience and focality in natural language quantificationReasoning without believing: on the mechanisation of presuppositions and partialityMass terms and quantificationConvexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agentsThe logic of lexical connectivesFuzzy quantifiers defined over fuzzy domainsNo, No, and NoOn the Logical Expressive Power of Natural LanguagesModified numerals and split disjunction: the first-order caseEmbedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \)Saving the Square of OppositionA semantic characterization of natural language determinersA THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOLA simple logic of conceptsSkolem Theory and Generalized QuantifiersNames and quantifiers: bringing them together in classical logicOn Barwise and Cooper’s “Generalized Quantifiers and Natural Language”DisCoCat for Donkey SentencesINTERLEAVING LOGIC AND COUNTINGDesigning efficient controlled languages for ontologiesDeterminers and resource situationsUnnamed ItemA generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebrasImplicit arguments in situation semanticsLogicality and InvarianceDid Tarski commit “Tarski's fallacy”?A relational formulation of the theory of typesThe Square of Opposition and Generalized QuantifiersDECOMPOSING GENERALIZED QUANTIFIERSA characterization of monotonicity with collective quantifiersLogic, logics, and logicismBarwise: Abstract Model Theory and Generalized Quantifiers2003 Annual Meeting of the Association for Symbolic LogicUnnamed ItemA framework for comparing query languages in their ability to express Boolean queriesTranslating between Language and Logic: What Is Easy and What Is DifficultThe Computational Complexity of Quantified ReciprocalsQuantifiers in JapaneseFormalizing the IMA Language: Toward the Minimalist Program for Compositional SemanticsSamenessGeneralized fuzzy quantifiers and the modeling of fuzzy branching quantificationPolyadic quantifiersOn the Structure of Natural Deduction Derivations for “Generally”Most-intersection of countable setsGeneralized Quantifiers Meet Modal Neighborhood SemanticsQuestions about quantifiersA logical query language for hypermedia systemsVoting-model based evaluation of fuzzy quantified sentences: A general frameworkA discussion on fuzzy cardinality and quantification. Some applications in image processingEvaluation of quantified propositions in generalized models of fuzzy quantificationSelectional restrictions, types and categoriesFuzzy Measure Spaces Generated by Fuzzy SetsRestriction by noncontractionMonadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)Anaphoric conservativitySome quantifiers require two-predicate scopesHow diagrams can support syllogistic reasoning: an experimental studyModus ponens under the restrictor viewComparison across domains in delineation semanticsNot only BarbaraInvariance Properties of Quantifiers and Multiagent Information ExchangeThe logical form of determinersOn Bellert's proposal concerning quantificational universalsIndependent set readings and generalized quantifiersA feature-based syntax/semantics interfaceAssertion, rejection, and semantic universalsMetaconfirmationNominal comparatives and generalized quantifiersVagueness and quantificationFuzzy generalised quantifiers for natural language in categorical compositional distributional semanticsTarski, truth and natural languagesModal ontology and generalized quantifiersQuestion answering and database querying: bridging the gap with generalized quantificationType \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionalityOn the relation between fuzzy and generalized quantifiersAnalysis of OWA operators in decision making for modelling the majority conceptIf-clauses and probability operatorsOn the 3D visualisation of logical relationsCardinality restrictions on conceptsAnaphora and Discourse StructureA proof-theoretic universal property of determinersRepresenting types as neural eventsThe classical Aristotelian hexagon versus the modern duality hexagonDynamic reasoning with qualified syllogismsTriviality For Restrictor ConditionalsIntensional perceptual ascriptionsWhen are different type-logical semantic definitions defining equivalent meanings?Descriptive indexicals and epistemic modalityCan minimalism about truth embrace polysemy?At least not false, at most possible: between truth and assertibility of superlative quantifiersAristotelian syllogisms and generalized quantifiersThe grammar of quantification and the fine structure of interpretation contextsDefinition and classification of semi-fuzzy quantifiers for the evaluation of fuzzy quantified sentences.The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``manyOn fuzzification mechanisms for unary quantificationSemantic Assumptions in the Philosophy of MathematicsApplications of the theory of fuzzy setsCompleteness in hybrid type theoryThe intensional many -- conservativity reclaimedLinguistic quantifiers modeled by Sugeno integralsConjunctive, Disjunctive, Negative Objects and Generalized QuantificationQuantification and Logical FormAbsolute Generality and Semantic PessimismQuantifiers. Hintikka and Frege on Quantification ConceptsIncremental interpretationOpen texture and mathematicsPartially-ordered (branching) generalized quantifiers: A general definitionFacing the truth: Some advantages of direct interpretationE-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphoraThe conservativity of \textit{many}: split scope and \textit{most}Two types of choice-functional indefinites: evidence from Ga (Kwa)Determiners and logicTractability and intractability of controlled languages for data accessInclusion and exclusion in natural languageOn bracketing names and quantifiers in first-order logicQuantification in English is Inherently SortalA, the, another: a game of same and differentModeling the concept of majority opinion in group decision makingDistributivity, collectivity, and cumulativity in terms of (in)dependence and maximalityFunctional quantificationSome properties of iterated languagesNominalization and Montague Grammar: A semantics without types for natural languagesLinguistic quantifiers based on Choquet integralsInterpretation and inference with maximal referential termsScope dominance with upward monotone quantifiersPresuppositions and quantifier domainsBook review of: M. Carrara (ed.) et al., Unity and plurality. Logic, philosophy, and linguisticsCharacterizing quantifier fuzzification mechanisms: a behavioral guide for applicationsLevel-based fuzzy generalized quantificationA new theory of quantifiers and term connectivesSymmetric and contrapositional quantifiersAnaphors and QuantifiersExistential import, Aristotelian logic, and its generalizationsAn overview of fuzzy quantifiers. I. Interpretations\(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measuresA computational approach to fuzzy quantifiers in natural languagesCompleteness and interpolation of almost-everywhere quantification over finitely additive measuresFoundations of conditional logicOn the expressive power of monotone natural language quantifiers over finite modelsSequent Calculi for ‘Generally’Ghosts, Murderers, and the Semantics of DescriptionsFuzzy quantification: a state of the artType \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examplesA fuzzy syllogistic reasoning schema for generalized quantifiersComputing scope dominance with upward monotone quantifiersStandard quantification theory in the analysis of English



Cites Work