Key notions of Tarski's methodology of deductive systems
From MaRDI portal
Publication:1820770
Recommendations
- scientific article; zbMATH DE number 1028825
- scientific article; zbMATH DE number 1852923
- scientific article; zbMATH DE number 4053578
- scientific article; zbMATH DE number 35401
- Deduction-detachment theorem and Gentzen-style deductive systems
- Axiomatic System, Deduction and Implication
- scientific article; zbMATH DE number 4041863
- Tarski on logical notions
- Jaśkowski and Gentzen approaches to natural deduction and related systems
- Deductive systems and categories
Cites work
- scientific article; zbMATH DE number 3833961 (Why is no real title available?)
- scientific article; zbMATH DE number 3643239 (Why is no real title available?)
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- scientific article; zbMATH DE number 3132713 (Why is no real title available?)
- scientific article; zbMATH DE number 3142081 (Why is no real title available?)
- scientific article; zbMATH DE number 3148408 (Why is no real title available?)
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3891329 (Why is no real title available?)
- scientific article; zbMATH DE number 3959383 (Why is no real title available?)
- scientific article; zbMATH DE number 4055579 (Why is no real title available?)
- scientific article; zbMATH DE number 3657779 (Why is no real title available?)
- scientific article; zbMATH DE number 3695147 (Why is no real title available?)
- scientific article; zbMATH DE number 3728249 (Why is no real title available?)
- scientific article; zbMATH DE number 3461905 (Why is no real title available?)
- scientific article; zbMATH DE number 3478823 (Why is no real title available?)
- scientific article; zbMATH DE number 3494378 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3532916 (Why is no real title available?)
- scientific article; zbMATH DE number 3540786 (Why is no real title available?)
- scientific article; zbMATH DE number 3557785 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3608001 (Why is no real title available?)
- scientific article; zbMATH DE number 3618109 (Why is no real title available?)
- scientific article; zbMATH DE number 1028833 (Why is no real title available?)
- scientific article; zbMATH DE number 3448535 (Why is no real title available?)
- scientific article; zbMATH DE number 3206304 (Why is no real title available?)
- scientific article; zbMATH DE number 3230232 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- scientific article; zbMATH DE number 3286895 (Why is no real title available?)
- scientific article; zbMATH DE number 3332449 (Why is no real title available?)
- scientific article; zbMATH DE number 3346296 (Why is no real title available?)
- scientific article; zbMATH DE number 3192066 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- scientific article; zbMATH DE number 3026239 (Why is no real title available?)
- scientific article; zbMATH DE number 3031479 (Why is no real title available?)
- scientific article; zbMATH DE number 3052782 (Why is no real title available?)
- scientific article; zbMATH DE number 3062900 (Why is no real title available?)
- scientific article; zbMATH DE number 3093421 (Why is no real title available?)
- scientific article; zbMATH DE number 3099235 (Why is no real title available?)
- scientific article; zbMATH DE number 3099243 (Why is no real title available?)
- 2-element matrices
- A completeness theorem in modal logic
- A lattice-theoretical fixpoint theorem and its applications
- A note on the reduction of Gentzen’s calculus 𝐿𝐽
- A proof of the completeness theorem of Grödel
- Algebraic models of axiomatic theories
- Algebraic treatment of the notion of satisfiability
- An algebraic approach to non-classical logics
- An approach to logical calculus
- An interpolation theorem for irredundant bases of closure structures
- Basic properties of deductive systems based on nonclassical logics. Part I, II
- Boolean Algebras with Operators. Part I
- Connections between some notions of completeness of structural propositional calculi
- Continuous Model Theory. (AM-58)
- Deduktiv abgeschlossene Mengen ohne Basis
- Der Aussagenkalkül und die Topologie
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
- Every two elementarily equivalent models have isomorphic ultrapowers
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Grundzüge der Systemenkalküls I
- Identities in Two-Valued Calculi
- Independent Families in Complete Boolean Algebras
- Logic and the philosophy of science
- Logical inference in English: A preliminary analysis
- Logical paradoxes for many-valued systems
- Matrix approach in methodology of sentential calculi
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- On a generalization of quantifiers
- On closed elements in closure algebras
- On finitely based consequence operations
- On notation for ordinal numbers
- On the categoricity in power of elementary deductive systems and some related problems
- On the extending of models (I)
- On the number of ultrafilters of an infinite boolean algebra
- Outline of a Theory of Truth
- Remarks on predicate logic with infinitely long expressions
- Remarks on Łukasiewicz's three-valued logic
- Some remarks on the consequence operation in sentential logics
- Some theorems about the sentential calculi of Lewis and Heyting
- Some theorems on structural consequence operations
- Some theorems on structural entailment relations
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- The axiom of choice
- The lattice of strengthenings of a strongly finite consequence operation
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
- The problem of analyticity
- The sentential calculus with infinitely long expressions
- The separation theorem of intuitionist propositional calculus
- The variety of consequence, according to Bolzano
- Untersuchungen über das logische Schliessen. I
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Cited in
(12)- Algebraic logic for classical conjunction and disjunction
- scientific article; zbMATH DE number 35401 (Why is no real title available?)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories
- Dependence systems with the operator-image exchange property
- Alfred Tarski's work on general metamathematics
- Philosophical implications of Tarski's work
- Logics preserving degrees of truth
- Disjunctive and conjunctive multiple-conclusion consequence relations
- Conditional logics of normality: A modal approach
- From closure-operatic deductive methodology to non-standard alternatives
- Abstract algebraic logic. An introductory chapter
This page was built for publication: Key notions of Tarski's methodology of deductive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820770)
