Syllogistic Logics with Verbs
From MaRDI portal
Publication:3583102
DOI10.1093/logcom/exn086zbMath1207.03037MaRDI QIDQ3583102
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
syllogism; completeness theorem; syllogistic logic; fragment of natural language; class expression; complemented noun phrase; quantified noun phrase; transitive verb
03B65: Logic of natural languages
Related Items
EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS, Most-intersection of countable sets, A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams, A logic inspired by natural language: quantifiers as subnectors, A generalized syllogistic inference system based on inclusion and exclusion relations, Proof-theoretic semantics for subsentential phrases, Equivalential structures for binary and ternary syllogistics, Relational syllogisms with numerical quantifiers and beyond, Natural density and the quantifier ``most, A system of relational syllogistic incorporating full Boolean reasoning, A cube of opposition for predicate logic