On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences

DOI10.1080/01445340500294575zbMath1094.03003OpenAlexW2146307441WikidataQ58567882 ScholiaQ58567882MaRDI QIDQ5291830

S. Roberto Arpaia

Publication date: 22 May 2006

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340500294575

zbMATH Keywords

historical studyPolish schoolItalian logicTarski's methodology of deductive sciences

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic logic for classical conjunction and disjunction
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Key notions of Tarski's methodology of deductive systems
• An approach to logical calculus
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Logics preserving degrees of truth
• Some Algebraic Structures Determined by Closure Operators
• Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]
• Tarski on truth and logical consequence
• Philosophical implications of Tarski's work
• Algebraizable logics
• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• \(Cn\)-definitions of propositional connectives

This page was built for publication: On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences