Key notions of Tarski's methodology of deductive systems
type: Item
instance of: scholarly article
title: Key notions of Tarski's methodology of deductive systems
zbMATH Open document ID: 0615.03014
DOI: 10.1007/BF00370426
author: Janusz Czelakowski
author: Grzegorz Malinowski
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B99
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 3995638
zbMATH Keywords: consequence operation
zbMATH Keywords: methodology of deductive systems
zbMATH Keywords: Tarski
MaRDI profile type: Publication
cites work: Q4085699
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: Independent Families in Complete Boolean Algebras
cites work: Q5570212
cites work: Q3727960
cites work: Q4342096
cites work: The variety of consequence, according to Bolzano
cites work: Q5792029
cites work: Q4182718
cites work: Q3916561
cites work: Some theorems on structural consequence operations
cites work: Q3069694
cites work: Q5839915
cites work: Continuous Model Theory. (AM-58)
cites work: A note on the reduction of Gentzen’s calculus 𝐿𝐽
cites work: Q3889025
cites work: Some theorems on structural entailment relations
cites work: Q3041195
cites work: The lattice of strengthenings of a strongly finite consequence operation
cites work: Q4075439
cites work: Logic and the philosophy of science
cites work: Untersuchungen über das logische Schliessen. I
cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
cites work: An approach to logical calculus
cites work: Q3282928
cites work: Q5732648
cites work: The separation theorem of intuitionist propositional calculus
cites work: The axiom of choice
cites work: Boolean Algebras with Operators. Part I
cites work: Q3241192
cites work: Q5332215
cites work: Q5728445
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: On notation for ordinal numbers
cites work: A completeness theorem in modal logic
cites work: Outline of a Theory of Truth
cites work: Q3257760
cites work: Identities in Two-Valued Calculi
cites work: On the categoricity in power of elementary deductive systems and some related problems
cites work: On the extending of models (I)
cites work: Q3268305
cites work: On the number of ultrafilters of an infinite boolean algebra
cites work: Q4133631
cites work: Q4173347
cites work: Q3048812
cites work: Q3856744
cites work: On closed elements in closure algebras
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Logical paradoxes for many-valued systems
cites work: Q5766349
cites work: On a generalization of quantifiers
cites work: Q3248911
cites work: Q4774014
cites work: Basic properties of deductive systems based on nonclassical logics. Part I, II
cites work: Q5559220
cites work: The problem of analyticity
cites work: Algebraic models of axiomatic theories
cites work: An algebraic approach to non-classical logics
cites work: A proof of the completeness theorem of Grödel
cites work: Algebraic treatment of the notion of satisfiability
cites work: 2-element matrices

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5518345

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5622139

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4116428

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Deduktiv abgeschlossene Mengen ohne Basis

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4047529

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4079581

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: The sentential calculus with infinitely long expressions

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Every two elementarily equivalent models have isomorphic ultrapowers

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4159022

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5560258

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Logical inference in English: A preliminary analysis

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Remarks on Łukasiewicz's three-valued logic

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: The Fregean axiom and Polish mathematical logic in the \(1920^s\)

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Grundzüge der Systemenkalküls I

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Der Aussagenkalkül und die Topologie

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5839923

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5802110

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5833217

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: A lattice-theoretical fixpoint theorem and its applications

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Remarks on predicate logic with infinitely long expressions

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5609363

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: An interpolation theorem for irredundant bases of closure structures

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q3265664

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Connections between some notions of completeness of structural propositional calculi

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4063405

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q5771193

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Some remarks on the consequence operation in sentential logics

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Matrix approach in methodology of sentential calculi

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q3791124

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q4109644

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: On finitely based consequence operations

Key notions of Tarski's methodology of deductive systems (cites work)
cites work: Q3347857

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Q4342088
Similarity Score: 0.87383103
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Q4789453
Similarity Score: 0.87383103
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Q3789532
Similarity Score: 0.87286854
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Q3989922
Similarity Score: 0.8706569
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Deduction-Detachment Theorem and Gentzen-Style Deductive Systems
Similarity Score: 0.8667356
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Axiomatic System, Deduction and Implication
Similarity Score: 0.8583633
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Q3781064
Similarity Score: 0.85772616
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Tarski on logical notions
Similarity Score: 0.8547021
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Jaśkowski and Gentzen approaches to natural deduction and related systems
Similarity Score: 0.85392344
Recommender Run: Recommender Run 3

Key notions of Tarski's methodology of deductive systems (Recommended article)
Recommended article: Deductive systems and categories
Similarity Score: 0.8518667
Recommender Run: Recommender Run 3