Displaying: 11-20 of 1625 documents

0.011 sec

11. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
XVII Congreso Internacional de Historia de la Ciencia (Berkeley)
12. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
José M. Méndez Systems with the converse Ackermann property
abstract | view |  rights & permissions
A system S has the “converse Ackermann property” (C.A.P.) if (A -> B) -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, we think the problem proposed in Anderson & Belnap (1975) § 8.12 has been solved.
13. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Yosu Yurramendi Datuen analisia eta enuntziatuen logika
14. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Jesús-María Larrazábal Logic Colloquium ’84
15. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Logic Colloquium ’85 (París)
16. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Miguel Sánchez-Mazas eadem mutata resurgo
17. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Lorenzo Peña En memoria de Ayda J. Arruda
18. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Simposio Internacional sobre la filosofía de Karl Popper
19. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Fernando Broncano I Simposio Hispano-Mexicano de Filosofía
20. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
James Gasser Colloque Lesniewski