DeepAI
Chat Image GeneratorImage Video Music Voice Chat Photo Editor Website BuilderBeta
Pricing

A syllogistic system for propositions with intermediate quantifiers

05/18/2018
∙
by   Pasquale Iero, et al.
∙
0
∙

This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expressed in a concise form making use of and extending the Monotonicity Calculus. Contradictory and contrary relationships are added so that deduction can derive propositions expressing a form of negation.

READ FULL TEXT

Please sign up or login with your details

Continue with:
Or login with email
Enter Password
Re-enter Password

Forgot password? Click here to reset

Out of credits

Add credits to your account

Automatically add credits when your balance is low. Never run out again!
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×
Pro

Consider DeepAI Pro

Subscribe to DeepAI Pro
DeepAI Pro
Provides a limited generation allowance each month. When exceeded, you are charged overage rates available at deepai.org/pricing. Also includes an ad-free experience and API access. Renews automatically until canceled. Non-refundable.
Subtotal
Total due today

By subscribing, you authorize Deep AI, Inc. to charge you according to the terms until you cancel.
Terms · Privacy

Payment
Add DeepAI credits
DeepAI credits
One-time purchase. Credits are added to your wallet after payment.
Subtotal
Total due today

Terms · Privacy

Payment