论文信息 - A Tool for Analysing Logics

A Tool for Analysing Logics

We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics.

Paulo A. S. Veloso | Paula M. Veloso | Sheila R. M. Veloso | S. R. M. Veloso | P. Veloso

[1] Dirk van Dalen,et al. Logic and structure , 1980 .

[2] Jean Chauvineau,et al. La Logique moderne , 1959 .

[3] Donald W. Barnes,et al. An Algebraic Introduction to Mathematical Logic , 1975 .

[4] Paul M. Weichsel,et al. A first course in abstract algebra , 1966 .

[5] A. Clifford,et al. The algebraic theory of semigroups , 1964 .

[6] Wilhelm Magnus,et al. Groups and Their Graphs: Contents , 1992 .

[7] K. Brown,et al. Graduate Texts in Mathematics , 1982 .

[8] Jean-Yves Béziau,et al. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic , 2005 .

[9] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[10] J. Piaget. Logique et connaissance scientifique , 1967 .

[11] José Luiz Fiadeiro,et al. Structuring Theories on Consequence , 1988, ADT.

[12] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.

[13] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .

[14] H. Coxeter,et al. Geometry Revisited (New Mathematical Library) , 1967 .