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

Tarskiconsequence operationmethodology of deductive systems

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) General logic (03B99)

Related Items

Conditional logics of normality: A modal approach, Dependence systems with the operator-image exchange property, On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, Logics preserving degrees of truth, Abstract algebraic logic. An introductory chapter, Algebraic logic for classical conjunction and disjunction, Disjunctive and conjunctive multiple-conclusion consequence relations

Cites Work

• 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
• 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