Search

Showing total 1 results

Refine your results

1 results

1. Silogística intermedia, términos y árboles.

Author

Castro-Manzano, J. Martín

Subjects
*SYLLOGISM, *ALGEBRA, *LOGIC
Abstract

In this paper we propose a tableaux method for the intermediate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF