- (2 other versions)Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.details
|
|
Conservative translations.Hércules Feitosa & Itala Loffredo D'ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.details
|
|
Classical negation can be expressed by one of its halves.J.-Y. Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Logical discrimination.Lloyd Humberstone - unknowndetails
|
|
Conservative translations.Iml D’Ottaviano & H. A. Feitosa - 2001 - Annals of Pure and Applied Logic 108:205-227.details
|
|
Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.details
|
|
Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.details
|
|
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
Two's Company: The humbug of many logical values.Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 169-189.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.details
|
|
Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.details
|
|
Simple Consequence Relations.Arnon Avron - unknowndetails
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to mathematical logic. Amsterdam,: North-Holland. pp. 215–229.details
|
|
Classical negation can be expressed by one of its halves.Jean-Yves Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.details
|
|
Institution-Independent Model Theory.Razvan Diaconescu - 2008 - Basel, Switzerland: Birkhäuser.details
|
|