Logics for Two Fragments beyond the Syllogistic Boundary

DOI10.1007/978-3-642-15025-8_27zbMath1287.03066OpenAlexW1595612772MaRDI QIDQ3586020

Lawrence S. Moss

Publication date: 3 September 2010

Published in: Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_27

zbMATH Keywords

decidabilitynatural deductionnatural logicrelative clausecomparative adjective

Mathematics Subject Classification ID

Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25) Natural language processing (68T50)

Related Items (3)

A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL ⋮ Syllogistic logic with comparative adjectives ⋮ EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS

Cites Work

• Unnamed Item
• Essays in logical semantics
• Automata-theoretic techniques for modal logics of programs
• Natural language syntax and first-order inference
• Undecidability results on two-variable logics
• Fragments of language
• A two-variable fragment of English
• A Brief History of Natural Deduction
• Proof-Theoretic Semantics for a Natural Language Fragment
• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Logic and structure

This page was built for publication: Logics for Two Fragments beyond the Syllogistic Boundary