On the public citation graph

Cut elimination and word problems for varieties of lattices

https://doi.org/10.1007/bf02483891
0 signed · 31 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19740202504openalex-snapshot
Orthomodular Logic
inferredcites →https://doi.org/10.1007/978-3-642-86718-7openalex-snapshot
First-Order Logic
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01967818openalex-snapshot
Quasideduktive Systeme und S-Algebren. II
inferredcites →https://doi.org/10.1007/bfb0079549openalex-snapshot
Kombinatorische Konstruktionen mit Beweisen und Schnittelimination
inferredcites →https://doi.org/10.1007/bfb0079691openalex-snapshot
Normal derivability in classical logic
inferredcites →https://doi.org/10.1016/0021-8693(73)90001-xopenalex-snapshot
Recursively unsolvable word problems of modular lattices and diagram-chasing
inferredcites →https://doi.org/10.1112/jlms/s1-26.1.64openalex-snapshot
The Word Problem for Abstract Algebras
inferredcites →https://doi.org/10.1112/jlms/s1-28.1.76openalex-snapshot
Embeddability and the Word Problem
inferredcites →https://doi.org/10.1215/s0012-7094-70-03768-3openalex-snapshot
Stone lattices
inferredcites →https://doi.org/10.2307/1969001openalex-snapshot
Free Lattices
inferredcites →https://doi.org/10.2307/2266681openalex-snapshot
Algebraische und logistische Untersuchungen über freie Verbände
inferredcites →https://doi.org/10.2307/2317361openalex-snapshot
Introduction to the Theory of Abstract Algebras.

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-030-52163-9_1openalex-snapshot
Editorial Introduction
inferred← citeshttps://doi.org/10.1007/978-3-031-50524-9_11openalex-snapshot
Interpolation and Quantifiers in Ortholattices
inferred← citeshttps://doi.org/10.1007/978-3-031-98682-6_8openalex-snapshot
Verified and Optimized Implementation of Orthologic Proof Search
inferred← citeshttps://doi.org/10.1007/bf00739999openalex-snapshot
Bibliography on quantum logics and related structures
inferred← citeshttps://doi.org/10.1007/s10992-017-9428-zopenalex-snapshot
Proof Theory of Paraconsistent Quantum Logic
inferred← citeshttps://doi.org/10.1007/s10992-020-09585-2openalex-snapshot
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems
inferred← citeshttps://doi.org/10.1007/s11225-020-09939-6openalex-snapshot
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
inferred← citeshttps://doi.org/10.1007/s11229-017-1331-1openalex-snapshot
The intensional side of algebraic-topological representation theorems
inferred← citeshttps://doi.org/10.1016/0001-8708(85)90118-5openalex-snapshot
Proof theory for linear lattices
inferred← citeshttps://doi.org/10.1016/0012-365x(85)90135-9openalex-snapshot
1982 news about orthomodular lattices
inferred← citeshttps://doi.org/10.1017/s0960129510000125openalex-snapshot
A solution of the uniform word problem for ortholattices
inferred← citeshttps://doi.org/10.1023/a:1022993408070openalex-snapshot
On Different Proof-Search Strategies for Orthologic
inferred← citeshttps://doi.org/10.1093/logcom/exag014openalex-snapshot
Proof-theoretic analysis of subabelian lattice logic
inferred← citeshttps://doi.org/10.1109/ismvl49045.2020.00059openalex-snapshot
Completeness of Subtrilattice Logic
inferred← citeshttps://doi.org/10.1145/3632881openalex-snapshot
Orthologic with Axioms
inferred← citeshttps://doi.org/10.2178/jsl/1129642117openalex-snapshot
The geometry of non-distributive logics
inferred← citeshttps://doi.org/10.23638/lmcs-13(3:6)2017openalex-snapshot
Focusing in Orthologic
inferred← citeshttps://doi.org/10.3390/logics1010004openalex-snapshot
A Fundamental Non-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.