On the public citation graph

Algebraic logic for classical conjunction and disjunction

https://doi.org/10.1007/bf00370680
0 signed · 55 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-0-387-77487-9openalex-snapshot
Universal Algebra
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_8openalex-snapshot
Proof Theory and Meaning
inferredcites →https://doi.org/10.1007/978-94-009-7066-3_2openalex-snapshot
Systems of Deduction
inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferredcites →https://doi.org/10.1007/bf00370269openalex-snapshot
Protoalgebraic logics
inferredcites →https://doi.org/10.1007/bf00370426openalex-snapshot
Key notions of Tarski's methodology of deductive systems
inferredcites →https://doi.org/10.1007/bf00401653openalex-snapshot
2-Element matrices
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1016/s1385-7258(58)50024-9openalex-snapshot
Remarks on sentential logics
inferredcites →https://doi.org/10.1017/s0022481200028917openalex-snapshot
Alfred Tarski's work on general metamathematics
inferredcites →https://doi.org/10.1090/memo/0396openalex-snapshot
Algebraizable logics
inferredcites →https://doi.org/10.1109/ismvl.1988.5200openalex-snapshot
Abstract characterization of a four-valued logic
inferredcites →https://doi.org/10.1109/ismvl.1990.122601openalex-snapshot
A four-valued modal logic arising from Monteiro's last algebras
inferredcites →https://doi.org/10.14708/cm.v18i1.5816openalex-snapshot
On distributive lattices
inferredcites →https://doi.org/10.2307/2274764openalex-snapshot
A first approach to abstract modal logics
inferredcites →https://doi.org/10.4064/dmopenalex-snapshot
Dissertationes Mathematicae
inferredcites →https://doi.org/10.4467/20842589rmopenalex-snapshot
Reports on Mathematical Logic

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.202200012openalex-snapshot
On the logic of distributive nearlattices
inferred← citeshttps://doi.org/10.1007/11784180_25openalex-snapshot
Tableaux for Lattices
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_4openalex-snapshot
A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-94-009-0687-7_5openalex-snapshot
Two Levels of Modality: An Algebraic Approach
inferred← citeshttps://doi.org/10.1007/bf00370843openalex-snapshot
Equivalential and algebraizable logics
inferred← citeshttps://doi.org/10.1007/bf01053060openalex-snapshot
The lattice of distributive closure operators over an algebra
inferred← citeshttps://doi.org/10.1007/bf01058534openalex-snapshot
Algebraic study of Sette's maximal paraconsistent logic
inferred← citeshttps://doi.org/10.1007/s00012-014-0300-5openalex-snapshot
A note on congruences of semilattices with sectionally finite height
inferred← citeshttps://doi.org/10.1007/s00012-023-00838-0openalex-snapshot
Priestley-style duality for DN-algebras
inferred← citeshttps://doi.org/10.1007/s00153-006-0001-7openalex-snapshot
On the infinite-valued Łukasiewicz logic that preserves degrees of truth
inferred← citeshttps://doi.org/10.1007/s00153-022-00815-9openalex-snapshot
An alternative proof of the Hilbert-style axiomatization for the $$\{\wedge ,\vee \}$$-fragment of classical propositional logic
inferred← citeshttps://doi.org/10.1007/s00500-017-2750-0openalex-snapshot
The logic of distributive nearlattices
inferred← citeshttps://doi.org/10.1007/s10849-017-9260-4openalex-snapshot
Equivalential Structures for Binary and Ternary Syllogistics
inferred← citeshttps://doi.org/10.1007/s10849-026-09466-yopenalex-snapshot
Carnap, Categoricity, and Commas
inferred← citeshttps://doi.org/10.1007/s10992-026-09830-0openalex-snapshot
Towards a Quantum Logic of Paradox
inferred← citeshttps://doi.org/10.1007/s11225-013-9496-1openalex-snapshot
The Proof by Cases Property and its Variants in Structural Consequence Relations
inferred← citeshttps://doi.org/10.1007/s11225-013-9500-9openalex-snapshot
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
inferred← citeshttps://doi.org/10.1007/s11225-014-9553-4openalex-snapshot
Categorical Abstract Algebraic Logic: Behavioral π-Institutions
inferred← citeshttps://doi.org/10.1007/s11225-016-9650-7openalex-snapshot
On the Deductive System of the Order of an Equationally Orderable Quasivariety
inferred← citeshttps://doi.org/10.1016/j.fss.2007.03.008openalex-snapshot
On three implication-less fragments of t-norm based fuzzy logics
inferred← citeshttps://doi.org/10.1017/s175502031800014xopenalex-snapshot
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
inferred← citeshttps://doi.org/10.1023/a:1004979825733openalex-snapshot
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator
inferred← citeshttps://doi.org/10.1023/a:1017255301315openalex-snapshot
Book Reviews
inferred← citeshttps://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1023/a:1024678007488openalex-snapshot
The Suszko Operator. Part I.
inferred← citeshttps://doi.org/10.1023/a:1025167200338openalex-snapshot
Categorical Abstract Algebraic Logic Metalogical Properties
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/jigpal/jzad007openalex-snapshot
Algebraic logic for the negation fragment of classical logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzae082openalex-snapshot
Modality across different logics
inferred← citeshttps://doi.org/10.1305/ndjfl/1040511344openalex-snapshot
Algebraic Study of Two Deductive Systems of Relevance Logic
inferred← citeshttps://doi.org/10.2178/jsl/1154698583openalex-snapshot
Correspondences between gentzen and hilbert systems
inferred← citeshttps://doi.org/10.2307/2586552openalex-snapshot
An abstract algebraic logic approach to tetravalent modal logics
inferred← citeshttps://doi.org/10.3390/logics1040009openalex-snapshot
Carnap’s Problem for Intuitionistic Propositional Logic
inferred← citeshttps://doi.org/10.4064/-28-1-17-36openalex-snapshot
On the Leibniz congruences
inferred← citeshttps://doi.org/10.52737/18291163-2024.16.13-1-21openalex-snapshot
$M_K(T)$-Spaces: Some Order-Theoretical Properties and Applications to Distributive Logics
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.