On the public citation graph
Key notions of Tarski's methodology of deductive systems
0 signed · 132 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19690150705openalex-snapshot
On the number of ultrafilters of an infinite boolean algebra
inferredcites →https://doi.org/10.1002/malq.19750210138openalex-snapshot
Structural completeness of the first‐order predicate calculus
inferredcites →https://doi.org/10.1002/mana.19520070305openalex-snapshot
Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
inferredcites →https://doi.org/10.1002/mana.19520070505openalex-snapshot
Deduktiv abgeschlossene Mengen ohne Basis
inferredcites →https://doi.org/10.1007/978-3-030-52279-7_15openalex-snapshot
Models and Ultraproducts
inferredcites →https://doi.org/10.1007/978-3-662-25375-5openalex-snapshot
Logische Syntax der Sprache
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_3openalex-snapshot
A Decision Method for Elementary Algebra and Geometry
inferredcites →https://doi.org/10.1007/978-94-010-1126-6_27openalex-snapshot
The Problem of Analyticity
inferredcites →https://doi.org/10.1007/978-94-010-3667-2_16openalex-snapshot
A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences
inferredcites →https://doi.org/10.1007/978-94-010-3667-2_3openalex-snapshot
Semantics of Physical Theories
inferredcites →https://doi.org/10.1007/bf00370429openalex-snapshot
The variety of consequence, according to Bolzano
inferredcites →https://doi.org/10.1007/bf00370475openalex-snapshot
Logical inference in English: A preliminary analysis
inferredcites →https://doi.org/10.1007/bf00485107openalex-snapshot
A comparison of the meaning and uses of models in mathematics and the empirical sciences
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01371630openalex-snapshot
Some theorems on structural entailment relations
inferredcites →https://doi.org/10.1007/bf01454856openalex-snapshot
�ber Axiomensysteme f�r beliebige Satzsysteme
inferredcites →https://doi.org/10.1007/bf01458217openalex-snapshot
Über Möglichkeiten im Relativkalkül
inferredcites →https://doi.org/10.1007/bf01696781openalex-snapshot
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
inferredcites →https://doi.org/10.1007/bf01696782openalex-snapshot
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I
inferredcites →https://doi.org/10.1007/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bf01708855openalex-snapshot
Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
inferredcites →https://doi.org/10.1007/bf01733289openalex-snapshot
Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik
inferredcites →https://doi.org/10.1007/bf01874707openalex-snapshot
The lattice of strengthenings of a strongly finite consequence operation
inferredcites →https://doi.org/10.1007/bf02120405openalex-snapshot
Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. II.
inferredcites →https://doi.org/10.1007/bf02120495openalex-snapshot
The logics stronger than Łukasiewicz's three valued sentential calculus-the notion of degree of maximality versus the notion of degree of completeness
inferredcites →https://doi.org/10.1007/bf02120672openalex-snapshot
The Fregean Axiom and Polish mathematical logic in the 1920s
inferredcites →https://doi.org/10.1007/bf02123410openalex-snapshot
On finitely based consequence operations
inferredcites →https://doi.org/10.1007/bf02123806openalex-snapshot
Matrix approach in methodology of sentential calculi
inferredcites →https://doi.org/10.1007/bf02123818openalex-snapshot
Connections between some notions of completeness of structural propositional calculi
inferredcites →https://doi.org/10.1007/bf02314419openalex-snapshot
Some theorems on structural consequence operations
inferredcites →https://doi.org/10.1007/bf02548472openalex-snapshot
Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. i
inferredcites →https://doi.org/10.1007/bf02771574openalex-snapshot
Every two elementarily equivalent models have isomorphic ultrapowers
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1016/0001-8708(77)90056-1openalex-snapshot
Finite equational bases for finite algebras in a congruence-distributive equational class
inferredcites →https://doi.org/10.1016/0012-365x(75)90033-3openalex-snapshot
An interpolation theorem for irredundant bases of closure structures
inferredcites →https://doi.org/10.1016/0016-0032(86)90212-7openalex-snapshot
American journal of mathematics
inferredcites →https://doi.org/10.1016/0160-9327(82)90082-5openalex-snapshot
Classical propositional operators
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50011-3openalex-snapshot
CONTINUOUS MODEL THEORY
inferredcites →https://doi.org/10.1016/c2013-0-12370-7openalex-snapshot
Algebraic Methods of Mathematical Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)70503-2openalex-snapshot
Formal Logic and the Development of Knowledge
inferredcites →https://doi.org/10.1016/s0049-237x(08)70531-7openalex-snapshot
Equational Logic and Equational Theories of Algebras
inferredcites →https://doi.org/10.1016/s0049-237x(08)71542-8openalex-snapshot
Background to Formalization
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7021-1openalex-snapshot
Languages with Expressions of Infinite Length
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7034-xopenalex-snapshot
Model Theory For Infinitary Logic
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1016/s1385-7258(54)50075-2openalex-snapshot
Contributions to the Theory of Models. II
inferredcites →https://doi.org/10.1016/s1385-7258(58)50024-9openalex-snapshot
Remarks on sentential logics
inferredcites →https://doi.org/10.1016/s1385-7258(61)50048-0openalex-snapshot
Ultraproducts and elementary classes
inferredcites →https://doi.org/10.1017/cbo9780511693090openalex-snapshot
An Investigation of the Laws of Thought
inferredcites →https://doi.org/10.1017/s0022481200039876openalex-snapshot
Stanisław Jaśkowski. Recherches sur le système de la logique intuitioniste. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cie, Paris 1936, pp. 58–61.
inferredcites →https://doi.org/10.1017/s0305004100013463openalex-snapshot
On the Structure of Abstract Algebras
inferredcites →https://doi.org/10.1086/288311openalex-snapshot
On the Extension of Beth's Semantics of Physical Theories
inferredcites →https://doi.org/10.1090/bullopenalex-snapshot
Bulletin of the American Mathematical Society
inferredcites →https://doi.org/10.1090/coll/002/01openalex-snapshot
Introduction to a form of general analysis
inferredcites →https://doi.org/10.1090/pspum/025/0363802openalex-snapshot
Completeness and axiomatizability in many-valued logic
inferredcites →https://doi.org/10.1090/s0002-9904-1939-06962-0openalex-snapshot
A note on the reduction of Gentzen’s calculus 𝐿𝐽
inferredcites →https://doi.org/10.1090/s0002-9947-1951-0044470-3openalex-snapshot
Identities in Two-Valued Calculi
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0675069-3openalex-snapshot
Independent Families in Complete Boolean Algebras
inferredcites →https://doi.org/10.1515/9781400882052openalex-snapshot
Continuous Model Theory. (AM-58)
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
inferredcites →https://doi.org/10.2307/1969038openalex-snapshot
On Closed Elements in Closure Algebras
inferredcites →https://doi.org/10.2307/2022668openalex-snapshot
Logic, Semantics, Metamathematics; Papers from 1923 to 1938.
inferredcites →https://doi.org/10.2307/2024549openalex-snapshot
Singular Terms, Truth-Value Gaps, and Free Logic
inferredcites →https://doi.org/10.2307/2024952openalex-snapshot
On Engendering an Illusion of Understanding
inferredcites →https://doi.org/10.2307/2102968openalex-snapshot
The Semantic Conception of Truth: and the Foundations of Semantics
inferredcites →https://doi.org/10.2307/2267487openalex-snapshot
H. Rasiowa and R. Sikorski. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200.
inferredcites →https://doi.org/10.2307/2267648openalex-snapshot
Logical paradoxes for many-valued systems
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2268420openalex-snapshot
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
inferredcites →https://doi.org/10.2307/2314842openalex-snapshot
Languages with Expressions of Infinite Length.
inferredcites →https://doi.org/10.2307/2370324openalex-snapshot
Introduction to a General Theory of Elementary Propositions
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.2307/2964545openalex-snapshot
The separation theorem of intuitionist propositional calculus
inferredcites →https://doi.org/10.2307/2964568openalex-snapshot
A completeness theorem in modal logic
inferredcites →https://doi.org/10.4064/cm-3-1-58-62openalex-snapshot
On the categoricity in power of elementary deductive systems and some related problems
inferredcites →https://doi.org/10.4064/cm-6-1-165-170openalex-snapshot
The sentential calculus with infinitely long expressions
inferredcites →https://doi.org/10.4064/cm-6-1-171-176openalex-snapshot
Remarks on predicate logic with infinitely long expressions
inferredcites →https://doi.org/10.4064/fm-14-1-1-81openalex-snapshot
Grundzüge eines neuen Systems der Grundlagen der Mathematik
inferredcites →https://doi.org/10.4064/fm-17-1-210-239openalex-snapshot
Sur les ensembles définissables de nombres réels
inferredcites →https://doi.org/10.4064/fm-25-1-503-526openalex-snapshot
Grundzüge der Systemenkalküls I
inferredcites →https://doi.org/10.4064/fm-29-1-34-53openalex-snapshot
Abzählbare Boolesche Körper und ihre Anwendung auf die allgemeine Metamathematik
inferredcites →https://doi.org/10.4064/fm-31-1-103-134openalex-snapshot
Der Aussagenkalkül und die Topologie
inferredcites →https://doi.org/10.4064/fm-37-1-193-200openalex-snapshot
A proof of the completeness theorem of Grödel
inferredcites →https://doi.org/10.4064/fm-40-1-62-95openalex-snapshot
Algebraic treatment of the notion of satisfiability
inferredcites →https://doi.org/10.4064/fm-41-2-291-310openalex-snapshot
Algebraic models of axiomatic theories
inferredcites →https://doi.org/10.4064/fm-42-2-343-347openalex-snapshot
On the extending of models (II)
inferredcites →https://doi.org/10.4064/fm-44-1-12-36openalex-snapshot
On a generalization of quantifiers
inferredcites →https://doi.org/10.4064/fm-68-3-269-279openalex-snapshot
Some remarks on the consequence operation in sentential logics
inferredcites →https://doi.org/10.5840/philstudies196918023openalex-snapshot
The Logic of Empirical Theories
inferredcites →https://doi.org/10.5962/bhl.title.29413openalex-snapshot
An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854)
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-44490-6_4openalex-snapshot
Janusz Czelakowski’s Research on the Theory of Matrices and its Applications in the Seventies and Eighties of the 20th Century
inferred← citeshttps://doi.org/10.1007/978-94-011-5108-5_19openalex-snapshot
Polish Logic, Language and Philosophy of Language
inferred← citeshttps://doi.org/10.1007/978-94-015-8273-5_6openalex-snapshot
Inferential Many-Valuedness
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_1openalex-snapshot
50 Years of Studia Logica: Editorial Introduction
inferred← citeshttps://doi.org/10.1007/bf00370160openalex-snapshot
Logics preserving degrees of truth
inferred← citeshttps://doi.org/10.1007/bf00370680openalex-snapshot
Algebraic logic for classical conjunction and disjunction
inferred← citeshttps://doi.org/10.1007/bf01053070openalex-snapshot
Algebraic logic for classical conjunction and disjunction
inferred← citeshttps://doi.org/10.1007/s11225-019-09889-8openalex-snapshot
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90096-5openalex-snapshot
Conditional logics of normality: A modal approach
inferred← citeshttps://doi.org/10.1016/0012-365x(94)90030-2openalex-snapshot
Dependence systems with the operator–image exchange property
inferred← citeshttps://doi.org/10.1016/b978-0-444-52937-4.50001-0openalex-snapshot
A History of The Consequence Relations
inferred← citeshttps://doi.org/10.1017/9781316716915openalex-snapshot
A General Algebraic Semantics for Sentential Logics
inferred← citeshttps://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1057/9781137030894_2openalex-snapshot
Many-valued Logic in Poland: The Golden Age
inferred← citeshttps://doi.org/10.1080/01445340500294575openalex-snapshot
On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780195137316.003.0029openalex-snapshot
The Development of Mathematical Logic from Russell to Tarski, 1900–1935
inferred← citeshttps://doi.org/10.13130/bianchetti-matteo_phd2011-05-11openalex-snapshot
LE MOLTE VERSIONI DELLA CONSEGUENZA LOGICA
inferred← citeshttps://doi.org/10.18778/0138-0680.46.1.2.01openalex-snapshot
Professor Grzegorz Malinowski in Honorem
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.