Two additions to positive implication

DOI10.2307/2269765zbMath0147.24905OpenAlexW1982180537MaRDI QIDQ5525335

A. N. Prior

Publication date: 1964

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

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

zbMATH Keywords

mathematical logic

Related Items (5)

On the separation theorem of intermediate propositional calculi ⋮ For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Prior’s OIC nonconservativity example revisited ⋮ Replacement in logic ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

This page was built for publication: Two additions to positive implication