On the public citation graph
Leibniz filters and the strong version of a protoalgebraic logic
0 signed · 45 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.1007/978-94-009-0687-7_5openalex-snapshot
Two Levels of Modality: An Algebraic Approach
inferredcites →https://doi.org/10.1007/bf00370334openalex-snapshot
Strong versus weak quantum consequence operations
inferredcites →https://doi.org/10.1007/bf00370428openalex-snapshot
Algebraic aspects of deduction theorems
inferredcites →https://doi.org/10.1007/bf00370679openalex-snapshot
A deduction theorem schema for deductive systems of propositional logics
inferredcites →https://doi.org/10.1007/bf00370843openalex-snapshot
Equivalential and algebraizable logics
inferredcites →https://doi.org/10.1007/bf00373095openalex-snapshot
Reduced products of logical matrices
inferredcites →https://doi.org/10.1007/bf02314419openalex-snapshot
Some theorems on structural consequence operations
inferredcites →https://doi.org/10.1007/bfb0099386openalex-snapshot
Monadicity in topological pseudo-boolean algebras
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1023/a:1004979825733openalex-snapshot
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator
inferredcites →https://doi.org/10.2307/2271339openalex-snapshot
Axiomatization of the infinite-valued predicate calculus
inferredcites →https://doi.org/10.2307/2274764openalex-snapshot
A first approach to abstract modal logics
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.200410001openalex-snapshot
On weakening the Deduction Theorem and strengthening Modus Ponens
inferred← citeshttps://doi.org/10.1002/malq.200510034openalex-snapshot
Categorical abstract algebraic logic: The largest theory system included in a theory family
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_23openalex-snapshot
Dana Scott’s Work with Generalized Consequence Relations
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_6openalex-snapshot
Consequence and Degrees of Truth in Many-Valued Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_15openalex-snapshot
Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_3openalex-snapshot
Deduction-Detachment Theorem and Gentzen-Style Deductive Systems
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_2openalex-snapshot
An Abstract Algebraic Logic View of Some Mutiple-valued Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_4openalex-snapshot
Generalized Matrices in Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1007/s00153-012-0301-zopenalex-snapshot
Algebraizable logics with a strong conjunction and their semi-lattice based companions
inferred← citeshttps://doi.org/10.1007/s00153-018-0628-1openalex-snapshot
Selfextensional logics with a distributive nearlattice term
inferred← citeshttps://doi.org/10.1007/s11225-006-8304-6openalex-snapshot
On the Closure Properties of the Class of Full G-models of a Deductive System
inferred← citeshttps://doi.org/10.1007/s11225-006-9003-zopenalex-snapshot
Selfextensional Logics with a Conjunction
inferred← citeshttps://doi.org/10.1007/s11225-009-9163-8openalex-snapshot
Behavioral Algebraization of Logics
inferred← citeshttps://doi.org/10.1007/s11225-009-9180-7openalex-snapshot
Taking Degrees of Truth Seriously
inferred← citeshttps://doi.org/10.1007/s11225-011-9359-6openalex-snapshot
Leibniz-linked Pairs of Deductive Systems
inferred← citeshttps://doi.org/10.1007/s11225-017-9709-0openalex-snapshot
The Strong Version of a Sentential Logic
inferred← citeshttps://doi.org/10.1007/s11225-017-9739-7openalex-snapshot
An Algebraic View of Super-Belnap Logics
inferred← citeshttps://doi.org/10.1016/j.biosystems.2006.09.037openalex-snapshot
Physical limits of computation and emergence of life
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80011-5openalex-snapshot
8 Modal consequence relations
inferred← citeshttps://doi.org/10.1017/jsl.2015.39openalex-snapshot
COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
inferred← citeshttps://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1023/b:stud.0000009562.05301.ceopenalex-snapshot
Leibniz Filters Revisited
inferred← citeshttps://doi.org/10.1093/jigpal/jzt019openalex-snapshot
Malinowski modalization, modalization through fibring and the Leibniz hierarchy
inferred← citeshttps://doi.org/10.1093/logcom/exp030openalex-snapshot
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
inferred← citeshttps://doi.org/10.18778/0138-0680.46.1.2.05openalex-snapshot
The Infinite-Valued Łukasiewicz Logic and Probability
inferred← citeshttps://doi.org/10.4467/20842589rm.11.007.0285openalex-snapshot
ON SEMILATTICE-BASED LOGICS WITH AN ALGEBRAIZABLE ASSERTIONAL COMPANION
inferred← citeshttps://doi.org/10.4467/20842589rm.17.003.7141openalex-snapshot
A note of the full generalized models of the extensions of a 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.