Switch to: References

Add citations

You must login to add citations.
  1. On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences.S. Roberto Arpaia - 2006 - History and Philosophy of Logic 27 (1):9-41.
    This paper is an historical study of Tarski's methodology of deductive sciences (in which a logic S is identified with an operator Cn S, called the consequence operator, on a given set of expressions), from its appearance in 1930 to the end of the 1970s, focusing on the work done in the field by Roberto Magari, Piero Mangani and by some of their pupils between 1965 and 1974, and comparing it with the results achieved by Tarski and the Polish school (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Kreisel's notion of validity in post systems.Dov M. Gabbay - 1976 - Studia Logica 35 (3):285 - 295.
    This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems.§1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.
    The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A characterization of fragments of the intuitionistic propositional logic.M. T. Porebska & A. Wronski - 1974 - Bulletin of the Section of Logic 3 (2):19-20.
    Download  
     
    Export citation  
     
    Bookmark   1 citation