On the public citation graph
2-Element matrices
0 signed · 79 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.19600061508openalex-snapshot
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
inferredcites →https://doi.org/10.1007/978-3-322-85796-5openalex-snapshot
Klassische und nichtklassische Aussagenlogik
inferredcites →https://doi.org/10.1007/978-3-642-65302-5_6openalex-snapshot
Prädikatenkalkül mit mehreren Objektsorten
inferredcites →https://doi.org/10.1007/bf00405384openalex-snapshot
Matrix representations for structural strengthenings of a propositional logic
inferredcites →https://doi.org/10.1007/bf00966568openalex-snapshot
Conditional identities in finite groups
inferredcites →https://doi.org/10.1007/bf01110387openalex-snapshot
Functionally complete algebras generating distributive and permutable classes
inferredcites →https://doi.org/10.1007/bf02123806openalex-snapshot
Matrix approach in methodology of sentential calculi
inferredcites →https://doi.org/10.1007/bf02485363openalex-snapshot
A finite algebraA withSP(A) not elementary
inferredcites →https://doi.org/10.1007/bf02485419openalex-snapshot
Varieties generated by para primal algebras
inferredcites →https://doi.org/10.1007/bf02488025openalex-snapshot
Congruence—distributive polynomial reducts of lattices
inferredcites →https://doi.org/10.1007/bf02945004openalex-snapshot
Completeness of calculii for axiomatically defined classes of algebras
inferredcites →https://doi.org/10.1016/0012-365x(80)90011-4openalex-snapshot
A note on coloured quadrangulations
inferredcites →https://doi.org/10.1016/0012-365x(80)90150-8openalex-snapshot
A proof of Lyndon's finite basis theorem
inferredcites →https://doi.org/10.1016/b978-0-7204-0406-7.50010-7openalex-snapshot
completeness properties of multiple-valued logic algebras
inferredcites →https://doi.org/10.1016/c2013-0-11888-0openalex-snapshot
Computer Science and Multiple-Valued Logic
inferredcites →https://doi.org/10.1016/s1385-7258(58)50024-9openalex-snapshot
Remarks on sentential logics
inferredcites →https://doi.org/10.1090/s0002-9947-1951-0044470-3openalex-snapshot
Identities in Two-Valued Calculi
inferredcites →https://doi.org/10.1515/9781400882366openalex-snapshot
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
inferredcites →https://doi.org/10.2307/2268976openalex-snapshot
Fragments of the propositional calculus
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19920380131openalex-snapshot
FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY
inferred← citeshttps://doi.org/10.1002/malq.202200012openalex-snapshot
On the logic of distributive nearlattices
inferred← citeshttps://doi.org/10.1006/jabr.1997.7470openalex-snapshot
On Finitely Based Groups and Nonfinitely Based Quasivarieties
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_1openalex-snapshot
Consequence Relations of 2-element Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_37openalex-snapshot
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics
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-3-319-66167-4_17openalex-snapshot
Merging Fragments of Classical Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_17openalex-snapshot
Disjoint Fibring of Non-deterministic Matrices
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_16openalex-snapshot
Intelim Rules for Classical Connectives
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/bf00247910openalex-snapshot
Two theorems on many-valued logics
inferred← citeshttps://doi.org/10.1007/bf00370205openalex-snapshot
A calculus for the common rules of ? and ?
inferred← citeshttps://doi.org/10.1007/bf00370426openalex-snapshot
Key notions of Tarski's methodology of deductive systems
inferred← citeshttps://doi.org/10.1007/bf00370680openalex-snapshot
Algebraic logic for classical conjunction and disjunction
inferred← citeshttps://doi.org/10.1007/bf00403339openalex-snapshot
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
inferred← citeshttps://doi.org/10.1007/bf01053070openalex-snapshot
Algebraic logic for classical conjunction and disjunction
inferred← citeshttps://doi.org/10.1007/bf01057933openalex-snapshot
Three-element nonfinitely axiomatizable matrices
inferred← citeshttps://doi.org/10.1007/bf01063844openalex-snapshot
The logic of algebraic rules as a generalization of equational logic
inferred← citeshttps://doi.org/10.1007/bf01200495openalex-snapshot
Gentzen-style axiomatizations in equational logic
inferred← citeshttps://doi.org/10.1007/bf01620620openalex-snapshot
Axiomatization of semigroup consequences
inferred← citeshttps://doi.org/10.1007/bf02762086openalex-snapshot
Quasi-identities of finite semigroups and symbolic dynamics
inferred← citeshttps://doi.org/10.1007/s00233-010-9268-4openalex-snapshot
Quasi-equational bases for graphs of semigroups, monoids and groups
inferred← citeshttps://doi.org/10.1007/s00500-018-3584-0openalex-snapshot
Combining fragments of classical logic: When are interaction principles needed?
inferred← citeshttps://doi.org/10.1007/s10849-006-9026-xopenalex-snapshot
Investigations into a left-structural right-substructural sequent calculus
inferred← citeshttps://doi.org/10.1007/s11225-022-10009-2openalex-snapshot
Logics of Order and Related Notions
inferred← citeshttps://doi.org/10.1007/s11225-025-10212-xopenalex-snapshot
Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
inferred← citeshttps://doi.org/10.1007/s11229-019-02142-8openalex-snapshot
Axiomatizing non-deterministic many-valued generalized consequence relations
inferred← citeshttps://doi.org/10.1007/s11787-021-00280-7openalex-snapshot
An Unexpected Boolean Connective
inferred← citeshttps://doi.org/10.1017/9781316716915openalex-snapshot
A General Algebraic Semantics for Sentential Logics
inferred← citeshttps://doi.org/10.1017/jsl.2023.22openalex-snapshot
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020311000219openalex-snapshot
JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS
inferred← citeshttps://doi.org/10.1023/a:1004240612163openalex-snapshot
Singulary Extensional Connectives: A Closer Look
inferred← citeshttps://doi.org/10.1023/a:1004979825733openalex-snapshot
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator
inferred← citeshttps://doi.org/10.1023/b:stud.0000039032.60684.88openalex-snapshot
No Matrix Term-Equivalent to Wroński's 3-element Matrix is Finitely Based
inferred← citeshttps://doi.org/10.1057/9781137030894_2openalex-snapshot
Many-valued Logic in Poland: The Golden Age
inferred← citeshttps://doi.org/10.1093/jigpal/jzad007openalex-snapshot
Algebraic logic for the negation fragment of classical logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzn017openalex-snapshot
Replacing Modus Ponens With One-Premiss Rules
inferred← citeshttps://doi.org/10.1093/jigpal/jzs040openalex-snapshot
From the research on logics without tautologies (part 1)
inferred← citeshttps://doi.org/10.1093/jigpal/jzs041openalex-snapshot
From the research on logics without tautologies (part 2)
inferred← citeshttps://doi.org/10.1093/jigpal/jzs042openalex-snapshot
From the research on logics without tautologies (part 3)
inferred← citeshttps://doi.org/10.1093/jigpal/jzu003openalex-snapshot
Logics of varieties, logics of semilattices and conjunction
inferred← citeshttps://doi.org/10.1093/logcom/ext031openalex-snapshot
An Avron rule for fragments of R-mingle
inferred← citeshttps://doi.org/10.1093/logcom/exw023openalex-snapshot
On the characterization of fibred logics, with applications to conservativity and finite-valuedness
inferred← citeshttps://doi.org/10.1215/00294527-2022-0029openalex-snapshot
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics
inferred← citeshttps://doi.org/10.12775/llp.2014.010openalex-snapshot
Three-element non-finitely axiomatizable matrices and term-equivalence
inferred← citeshttps://doi.org/10.21146/2074-1472-2021-27-1-31-45openalex-snapshot
Implication, Equivalence, and Negation
inferred← citeshttps://doi.org/10.2307/2275203openalex-snapshot
European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2307/421042openalex-snapshot
1994 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'94
inferred← citeshttps://doi.org/10.48550/arxiv.1706.08689openalex-snapshot
Merging fragments of classical logic
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.