Results 301 to 310 of about 47,932 (337)
Some of the next articles are maybe not open access.
1999
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +3 more sources
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +3 more sources
Deciding to Not Decide: EU Foreign Policy
International Studies Review, 1999The Making of EU Foreign Policy: The Case of Eastern Europe, Karen E. Smith (Basingstoke, Hampshire, U.K. and New York: Macmillan Press and St. Martin's Press, 1999). 256 pp., cloth (ISBN: 0-3122-1582-7), $65.00.
openaire +2 more sources
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
Bulletin of Symbolic Logic, 2021Cristina Sernadas, Walter Carnielli
exaly
On the decidability of implicational ticket entailment
Journal of Symbolic Logic, 2013Katalin Bimb
exaly