Some results for implicational calculi

DOI10.2307/2269766zbMath0137.24903OpenAlexW2023397961MaRDI QIDQ5511404

R. A. Bull

Publication date: 1964

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269766

zbMATH Keywords

mathematical logic

Related Items (6)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Prior’s OIC nonconservativity example revisited ⋮ On the variety of strong subresiduated lattices ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Pretabular superintuitionistic logic ⋮ On Hilbert algebras generated by the order

Cites Work

• Subdirect unions in universal algebra

This page was built for publication: Some results for implicational calculi