Syllogistic logic with “Most”

DOI10.1017/S0960129518000312zbMath1456.03021OpenAlexW4247420955MaRDI QIDQ5377697

Lawrence S. Moss, Jörg Endrullis

Publication date: 27 May 2019

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129518000312

zbMATH Keywords

completeness theoremsyllogistic logicmajority quantifier

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

INTERLEAVING LOGIC AND COUNTING ⋮ Most-intersection of countable sets

Cites Work

• Majority Digraphs
• No Syllogisms for the Numerical Syllogistic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: Syllogistic logic with “Most”