Universal Logic: An Anthology

1. Paul Hertz (1922), «Über Axiomensysteme für beliebige Satzsysteme, Teil. 1» .- 2. Paul Bernays (1926), «Axiomatische Untersuchung des Aussagenkalküls des Principia Mathematica» .- 3. Alfred Tarski (1928), «Remarques sur les notions fondamentales de la méthodologie des mathématiques».- 4. Kurt Gödel (1933), «Eine Interpretation des intuitionistischen Aussagenkalküls».- 5. Louis Rougier (1941), «The relativity of logic».- 6. Haskell B. Curry (1952), Leçons de logique algébrique (Translation of extracts).- 7. Jerzy Los and Ronam Suszko (1958), «Remarks on sentential logics».- 8. Saul Kripke (1963), «Semantical Considerations on Modal Logic».- 9. Jean Porte (1965), Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs (Translation of extracts).- 10. Per Lindström (1969), « On extensions of elementary logic ».- 11. Stephen L.Bloom, Donald J.Brown et Roman Suszko (1970), «Some theorems on abstract logics».- 12. Dana Scott (1974), «Completeness and axiomatizability in many-valued logic».- 13. Joseph Goguen and Rod Burstall (1984), «Introducing institutions».- 14. Andrea Loparic and Newton da Costa (1984), «Paraconsistency, paracompleteness and valuations».- 15. Dov Gabbay, «Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic» (extracts).