On the public citation graph

The algebra of conditional logic

https://doi.org/10.1007/bf01190256
0 signed · 57 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.1007/978-1-4612-5983-1openalex-snapshot
The Science of Programming
inferredcites →https://doi.org/10.1007/bf02482916openalex-snapshot
Congruence varieties
inferredcites →https://doi.org/10.1007/bf02944988openalex-snapshot
On free algebras and algebraic decompositions of algebras from some equational classes defined by regular equations
inferredcites →https://doi.org/10.1007/bfb0063428openalex-snapshot
Free spectra of 3-element algebras
inferredcites →https://doi.org/10.1016/0898-1221(84)90083-xopenalex-snapshot
Enumerating fuzzy switching functions and free kleene algebras
inferredcites →https://doi.org/10.1016/s0049-237x(08)72018-4openalex-snapshot
A Basis for a Mathematical Theory of Computation )
inferredcites →https://doi.org/10.1016/s0049-237x(09)70099-0openalex-snapshot
A Basis for a Mathematical Theory of Computation
inferredcites →https://doi.org/10.1090/conm/076openalex-snapshot
The structure of finite algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1958-0095135-xopenalex-snapshot
Lattices With Involution
inferredcites →https://doi.org/10.14708/cm.v18i1.5816openalex-snapshot
On distributive lattices
inferredcites →https://doi.org/10.3817/1288078117openalex-snapshot
Contextualizing Sociology
inferredcites →https://doi.org/10.4064/fm-64-2-241-247openalex-snapshot
On equational classes of abstract algebras defined by regular equations

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.70026openalex-snapshot
A Common External Framework for Kleene and McCarthy Algebras
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_23openalex-snapshot
Equations for if-then-else
inferred← citeshttps://doi.org/10.1007/3-540-61440-0_124openalex-snapshot
Fatal errors in conditional expressions
inferred← citeshttps://doi.org/10.1007/978-3-030-22815-6_3openalex-snapshot
Rough Sets and the Algebra of Conditional Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-20684-8_3openalex-snapshot
Fracterm Calculus for Partial Meadows
inferred← citeshttps://doi.org/10.1007/bf01054712openalex-snapshot
A gentzen system for conditional logic
inferred← citeshttps://doi.org/10.1007/bf01190447openalex-snapshot
Adas and the equational theory of if-then-else
inferred← citeshttps://doi.org/10.1007/s00012-018-0490-3openalex-snapshot
Monoids of non-halting programs with tests
inferred← citeshttps://doi.org/10.1007/s00012-020-0648-7openalex-snapshot
On the structure of C-algebras through atomicity and if-then-else
inferred← citeshttps://doi.org/10.1007/s11277-024-11666-3openalex-snapshot
Characterizations of Lattice Ordered Semigroups in Pre-A*_Algebras-A Math Technique in Communication Technology
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90119-3openalex-snapshot
Data types over multiple-valued logics
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.02.035openalex-snapshot
A calculus for four-valued sequential logic
inferred← citeshttps://doi.org/10.1080/11663081.1995.10510855openalex-snapshot
A propositional logic with 4 values: true, false, divergent and meaningless
inferred← citeshttps://doi.org/10.1080/11663081.2021.2010954openalex-snapshot
Non-commutative propositional logic with short-circuit evaluation
inferred← citeshttps://doi.org/10.1080/11663081.2025.2573569openalex-snapshot
Fully evaluated left-sequential logics
inferred← citeshttps://doi.org/10.1080/27684830.2024.2352918openalex-snapshot
α -fuzzy ideals of C-algebra
inferred← citeshttps://doi.org/10.1080/27684830.2025.2482309openalex-snapshot
L -Fuzzy congruence relations on C -Algebras
inferred← citeshttps://doi.org/10.1109/isuma.1990.151218openalex-snapshot
Three-valued logics and conditional event algebras
inferred← citeshttps://doi.org/10.1142/s0218196717500138openalex-snapshot
Axiomatization of if-then-else over possibly non-halting programs and tests
inferred← citeshttps://doi.org/10.1142/s1793557110000374openalex-snapshot
IDEALS OF C -ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500095openalex-snapshot
ON ANNIHILATOR IDEALS OF C-ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500356openalex-snapshot
NORMAL C-ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500484openalex-snapshot
QUASICOMPLEMENTED C-ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500605openalex-snapshot
ANNULETS AND α-IDEALS OF C-ALGEBRAS
inferred← citeshttps://doi.org/10.1155/2021/7481960openalex-snapshot
Fuzzy Annihilator Ideals of C -Algebra
inferred← citeshttps://doi.org/10.1155/ijmms/2006/78981openalex-snapshot
Decompositions of a C‐algebra
inferred← citeshttps://doi.org/10.1305/ndjfl/1040136920openalex-snapshot
On Finite-Valued Propositional Logical Calculi
inferred← citeshttps://doi.org/10.25077/jmu.4.1.115-121.2015openalex-snapshot
PRA A -MODUL ATAS PRA A -ALJABAR DAN ALJABAR IF-THEN-ELSE ATAS PRA A -ALJABAR
inferred← citeshttps://doi.org/10.26389/ajsrp.b140921openalex-snapshot
المثاليات الضبابية في جبور * Pre A
inferred← citeshttps://doi.org/10.3923/aja.2011.1.11openalex-snapshot
Lattice in Pre A*-Algebra
inferred← citeshttps://doi.org/10.3923/aja.2011.12.22openalex-snapshot
Pre A*-Algebra as a Semilattice
inferred← citeshttps://doi.org/10.3923/ajms.2012.150.157openalex-snapshot
Boolean Centre of Pre A*-Algebra
inferred← citeshttps://doi.org/10.3923/ajms.2013.23.32openalex-snapshot
Partial Orders Fascinating on Pre A*-Algebra
inferred← citeshttps://doi.org/10.3923/ajms.2014.29.34openalex-snapshot
Pre A*-Homomorphism
inferred← citeshttps://doi.org/10.3923/ajsr.2010.249.257openalex-snapshot
Semilattice Structure on Pre A*-Algebra
inferred← citeshttps://doi.org/10.4204/eptcs.449.1openalex-snapshot
A Logical 3-valued Semantics for Nondeterministic Choice
inferred← citeshttps://doi.org/10.4314/mejs.v10i1.6openalex-snapshot
Explicit Pre A*-algebra
inferred← citeshttps://doi.org/10.46298/lmcs-17(2:25)2021openalex-snapshot
Encoding many-valued logic in $\lambda$-calculus
inferred← citeshttps://doi.org/10.47191/ijmcr/v12i2.09openalex-snapshot
JORDAN DEDEKIND CHAIN CONDITION ON PRE-A* POSETS WITH GRAPHICAL ASPECTS
inferred← citeshttps://doi.org/10.47743/sacs.2025.2.161openalex-snapshot
Conditional Logic as a Short-Circuit Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1609.00132openalex-snapshot
Axiomatization of if-then-else over possibly non-halting programs and tests
inferred← citeshttps://doi.org/10.48550/arxiv.1702.05752openalex-snapshot
Axiomatization of if-then-else over monoids of possibly non-halting programs and tests
inferred← citeshttps://doi.org/10.5614/itbj.sci.2012.44.3.1openalex-snapshot
Boolean Algebra of C-Algebras
inferred← citeshttps://doi.org/10.5897/ajmcsr.9000100openalex-snapshot
Pre A*-Algebra as a Poset
inferred← citeshttps://doi.org/10.5897/ajmcsr.9000119openalex-snapshot
Some structural compatibilities of pre A*-algebra
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.