Key notions of Tarski's methodology of deductive systems

DOI10.1007/BF00370426zbMath0615.03014MaRDI QIDQ1820770

Janusz Czelakowski, Grzegorz Malinowski

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Tarski; consequence operation; methodology of deductive systems

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

03B99: General logic

Related Items

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, Algebraic logic for classical conjunction and disjunction, Conditional logics of normality: A modal approach, Dependence systems with the operator-image exchange property, Logics preserving degrees of truth

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some theorems on structural entailment relations
• The variety of consequence, according to Bolzano
• Logical inference in English: A preliminary analysis
• The lattice of strengthenings of a strongly finite consequence operation
• 2-element matrices
• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
• An algebraic approach to non-classical logics
• Some theorems on structural consequence operations
• An interpolation theorem for irredundant bases of closure structures
• Matrix approach in methodology of sentential calculi
• Connections between some notions of completeness of structural propositional calculi
• Finite equational bases for finite algebras in a congruence-distributive equational class
• On finitely based consequence operations
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Untersuchungen über das logische Schliessen. I
• An approach to logical calculus
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• The problem of analyticity
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Every two elementarily equivalent models have isomorphic ultrapowers
• On closed elements in closure algebras
• A lattice-theoretical fixpoint theorem and its applications
• Independent Families in Complete Boolean Algebras
• On a generalization of quantifiers
• A completeness theorem in modal logic
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Outline of a Theory of Truth
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Continuous Model Theory. (AM-58)
• On the number of ultrafilters of an infinite boolean algebra
• Some remarks on the consequence operation in sentential logics
• The separation theorem of intuitionist propositional calculus
• The sentential calculus with infinitely long expressions
• Remarks on predicate logic with infinitely long expressions
• Grundzüge der Systemenkalküls I
• A note on the reduction of Gentzen’s calculus 𝐿𝐽
• Der Aussagenkalkül und die Topologie
• On notation for ordinal numbers
• Some theorems about the sentential calculi of Lewis and Heyting
• A proof of the completeness theorem of Grödel
• Identities in Two-Valued Calculi
• Boolean Algebras with Operators. Part I
• Deduktiv abgeschlossene Mengen ohne Basis
• Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
• Algebraic treatment of the notion of satisfiability
• Logical paradoxes for many-valued systems
• On the categoricity in power of elementary deductive systems and some related problems
• On the extending of models (I)
• Algebraic models of axiomatic theories
• The axiom of choice