Two additions to positive implication

DOI10.2307/2269765MaRDI QIDQ5525335zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5525335)