The classification of propositional calculi

DOI10.1023/A:1005292130553zbMath0965.03010OpenAlexW1608648242MaRDI QIDQ1595914

R. Smith

Publication date: 18 February 2001

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

Full work available at URL: https://doi.org/10.1023/a:1005292130553

zbMATH Keywords

independenceintuitionistic logiccombinatorsimplicational logicsindependent axiomatizationfinite Boolean latticefull logicmaximal lattice of logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence

This page was built for publication: The classification of propositional calculi