scientific article

zbMath0497.03004MaRDI QIDQ3960658

Adrian Rezuş

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lambda calculussingle axiomsrelevant logicspropositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Intermediate logics (03B55) General logic (03Bxx)

Related Items

Principal type-schemes and condensed detachment, A method for finding new sets of axioms for classes of semigroups., Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems