Adding Guarded Constructions to the Syllogistic

DOI10.1007/978-3-030-64187-0_6OpenAlexW3166847485MaRDI QIDQ5015968

Ian Pratt-Hartmann

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-64187-0_6

zbMATH Keywords

computational complexitysyllogismproof theoryguarded fragment

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Theory of computation.
• What is a syllogism?
• On the Restraining Power of Guards
• Completeness of an ancient logic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: Adding Guarded Constructions to the Syllogistic