Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

DOI10.1007/BF00370202zbMath0706.03009OpenAlexW295178086MaRDI QIDQ918531

Czeslaro Lejewski

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370202

zbMATH Keywords

Functional completenessLeśniewski style formalization for implicational propositional calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Czesław Lejewski: Propagator of Lvov-Warsaw Ideas Abroad

Cites Work

• On implicational definitions

This page was built for publication: Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term