Higher-Order Syllogistics

DOI10.1007/978-3-662-44121-3_1zbMath1426.03014OpenAlexW2247411103MaRDI QIDQ2921939

Thomas F. III Icard

Publication date: 14 October 2014

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44121-3_1

zbMATH Keywords

exclusionnatural logicsurface reasoningsyllogistics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A revised projectivity calculus for inclusion and exclusion reasoning

This page was built for publication: Higher-Order Syllogistics