We discuss Lewis Carroll’s invention of the rule of resolution and his prototype of the analytic tableaux method from 1896. A few examples are analyzed and a modest open problem is formulated. We conclude the paper with some metalogical and historical remarks.
. We exploit a system of realizers for classical logic, and a translation from resolution into the s...
This paper investigates the relationship between resolution and tableaux proof system for the satisf...
Dopp Joseph. Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Ef...
The present dissertation presents an examination of the Carrollian logic through the reconstruction ...
Lewis Carroll, author of Alice in Wonderland . wrote about Symbolic Logic , which is equivalent to...
In the period 1893-1897 Charles Dodgson, writing as Lewis Carroll, published two books and two artic...
Lewis Carroll, author of Alice in Wonderland , wrote about Symbolic Logic , which is equivalent to...
John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of repres...
Extended version of a paper with the same title, which appeared in the Bulletin of Symbolic Logic i...
SIGLELD:7056.15(DOC--80/20). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
W.C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domain...
Symbolic logic faced great difficulties in its early stage of development in order to acquire recogn...
My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical princ...
Babbage and Boole : the laws of symbolical calculus. In the first half of the XIXth century, Charles...
Feys Robert. A. I. Shearman, The Development of symbolic Logic. A critical historical study of the l...
. We exploit a system of realizers for classical logic, and a translation from resolution into the s...
This paper investigates the relationship between resolution and tableaux proof system for the satisf...
Dopp Joseph. Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Ef...
The present dissertation presents an examination of the Carrollian logic through the reconstruction ...
Lewis Carroll, author of Alice in Wonderland . wrote about Symbolic Logic , which is equivalent to...
In the period 1893-1897 Charles Dodgson, writing as Lewis Carroll, published two books and two artic...
Lewis Carroll, author of Alice in Wonderland , wrote about Symbolic Logic , which is equivalent to...
John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of repres...
Extended version of a paper with the same title, which appeared in the Bulletin of Symbolic Logic i...
SIGLELD:7056.15(DOC--80/20). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
W.C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domain...
Symbolic logic faced great difficulties in its early stage of development in order to acquire recogn...
My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical princ...
Babbage and Boole : the laws of symbolical calculus. In the first half of the XIXth century, Charles...
Feys Robert. A. I. Shearman, The Development of symbolic Logic. A critical historical study of the l...
. We exploit a system of realizers for classical logic, and a translation from resolution into the s...
This paper investigates the relationship between resolution and tableaux proof system for the satisf...
Dopp Joseph. Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Ef...
DOI
Add to ORKG