Studies in Universal Logic

1. Paul Hertz (1922), A"Uber Axiomensysteme fur beliebige Satzsysteme, Teil. 1A" presented by Javier Legris // 2. Paul Bernays (1926), A"Axiomatische Untersuchung des Aussagenkalkuls des Principia MathematicaA" presented by Walter Carnielli // 3. Alfred Tarski (1928), A"Remarques sur les notions fondamentales de la methodologie des mathematiquesA", presented by Stan Surma and Jan Zygmunt // 4. Kurt Godel (1933), A"Eine Interpretation des intuitionistischen AussagenkalkulsA" presented by presented by Itala D'Ottavianao and Hercules Feitosa// 5. Louis Rougier (1941), A"The relativity of logicA" presented by Mathieu Marion // 6. Haskell B. Curry (1952), Lecons de logique algebrique (Translation of extracts) presented by Johnatan Seldin // 7. Jerzy Los and Ronam Suszko (1958), A"Remarks on sentential logicsA" presented by Jan Zygmunt // 8. Saul Kripke (1963), A"Semantical Considerations on Modal LogicA" presented by Johan van Benthem // 9. Jean Porte (1965), Recherches sur la theorie generale des systemes formels et sur les systemes connectifs (Translation of extracts) presented by Marcel Guillaume // 10. Per Lindstrom (1969), A" On extensions of elementary logic A" presented by Jouko Vaananen // 11. Stephen L.Bloom, Donald J.Brown et Roman Suszko (1970), A"Some theorems on abstract logicsA" presented by Ramon Jansana // 12. Dana Scott (1974), A"Completeness and axiomatizability in many-valued logicA" presented by Lloyd Humberstone // 13. Joseph Goguen and Rod Burstall (1984), A"Introducing institutionsA" presented by Razvan Diaconescu // 14. Andrea Loparic and Newton da Costa (1984), A"Paraconsistency, paracompleteness and valuationsA" presented by Jean-Yves Beziau // 15. Dov Gabbay, A"Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logicA" (extracts) presented by Amilcar Sernadas and Carlos Caleiro