Syllogistic Logics with Verbs

DOI10.1093/logcom/exn086zbMath1207.03037OpenAlexW2137500796MaRDI QIDQ3583102

Lawrence S. Moss

Publication date: 26 August 2010

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

Full work available at URL: https://doi.org/10.1093/logcom/exn086

zbMATH Keywords

syllogismcompleteness theoremsyllogistic logicfragment of natural languageclass expressioncomplemented noun phrasequantified noun phrasetransitive verb

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (11)

Relational syllogisms with numerical quantifiers and beyond ⋮ A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams ⋮ Equivalential structures for binary and ternary syllogistics ⋮ Natural density and the quantifier ``most ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ A generalized syllogistic inference system based on inclusion and exclusion relations ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Proof-theoretic semantics for subsentential phrases ⋮ A cube of opposition for predicate logic ⋮ Most-intersection of countable sets ⋮ EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS

This page was built for publication: Syllogistic Logics with Verbs