Algebraic logic for classical conjunction and disjunction

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

Remarks on sentential logics

J. Łoś, Roman Suszko · Indagationes Mathematicae (Proceedings) · 1958 · 294 citations

Humanities, Philosophy, Logic +11

2-Element matrices

Wolfgang Rautenberg · Studia Logica · 1981 · 56 citations

Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic

Josep M. Font-Llagunes, Fernando Valls Guzmán, Ventura Verdú · 1991 · 27 citations

Natural Sciences, Mathematics, Algebra +5