Mathematical logic quarterly · 2003 · 11 citations · 6 references
HumanitiesComputer ScienceMathematicsAlgebraLogicLinear AlgebraMathematical LogicPropositional LogicPropositional CalculusSyntax Of Propositional Logic
Abstract We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
6
A propositional calculus with denumerable matrix
Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations
Logic with truth values in A linearly ordered heyting algebra
Alfred Horn · Journal of Symbolic Logic · 1969 · 150 citations
Humanities, Mathematics, Logic +9
A propositional logic with explicit fixed points
Albert Visser · Studia Logica · 1981 · 124 citations
Basic Propositional Calculus I
Mohammad Ardeshir, Wim Ruitenburg · Mathematical logic quarterly · 1998 · 74 citations