scientific article; zbMATH DE number 976409

No author found.

Publication date: 5 February 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Logic of natural languages (03B65) Natural language processing (68T50) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items (59)

Partial algebras, meaning categories and algebraization ⋮ \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures ⋮ Logical foundations for hybrid type-logical grammars ⋮ Anaphoric conservativity ⋮ Towards a Suppositional Inquisitive Semantics ⋮ Game Semantics and the Manifestation Thesis ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ INVARIANCE CRITERIA AS META-CONSTRAINTS ⋮ Erotetic Epistemic Logic ⋮ Question Meaning = Resolution Conditions ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Tarski, truth and natural languages ⋮ What languages have Tarski truth definitions? ⋮ Question answering and database querying: bridging the gap with generalized quantification ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Displacement logic for anaphora ⋮ Reasoning without believing: on the mechanisation of presuppositions and partiality ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Propositional quantification in logics of contingency ⋮ Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic ⋮ Propositional and credal accuracy in an indeterministic world ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Referentiality and configurationality in the idiom and the phrasal verb ⋮ Compositional signaling in a complex world ⋮ On Barwise and Cooper’s “Generalized Quantifiers and Natural Language” ⋮ On Groenendijk and Stokhof’s “Dynamic Predicate Logic” ⋮ Hyperintensional logics for everyone ⋮ Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages ⋮ Categorial Grammars and Their Logics ⋮ Propositional logic of imperfect information: Foundations and applications ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Semantic Assumptions in the Philosophy of Mathematics ⋮ Logic and reasoning: do the facts matter? ⋮ From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism ⋮ Quantifiers. Hintikka and Frege on Quantification Concepts ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ Type logics and pregroups ⋮ Learnability of pregroup grammars ⋮ Bilattice logic of epistemic actions and knowledge ⋮ A modular and parameterized presentation of pregroup calculus ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Galois Connections in Categorial Type Logic ⋮ The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable ⋮ Learnability of type-logical grammars ⋮ k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures ⋮ Modeling the concept of majority opinion in group decision making ⋮ On families of categorial grammars of bounded value, their learnability and related complexity questions ⋮ Lambek calculus is NP-complete ⋮ On the computational consequences of independence in propositional logic ⋮ Negative Polar Interrogatives and Bias ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Epistemic Erotetic Search Scenarios ⋮ Ordering constraints over feature trees expressed in second-order monadic logic. ⋮ Extensions of Lambek Calculi ⋮ Sequent Calculi for ‘Generally’ ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY ⋮ The logic and meaning of plurals. I

This page was built for publication: