40
Views
3
CrossRef citations to date
0
Altmetric
Original Articles

Choice of primitives: A note on axiomatizing intuitionistic logic

Pages 31-40 | Published online: 03 Apr 2007

References

  • Corcoran , J. 1980 . On definitional equivalence and related topics . Journal of the History and Philosophy of Logic , 1 : 231 – 234 .
  • Czelakowski , J. 1981 . Equivalential logics (I) . Studia Logica , 40 : 227 – 236 .
  • Gärdenfors , P. 1984 . Dynamics of belief as a basis for logic . British Journal for the Philosophy of Science , 35 : 1 – 10 .
  • Gärdenfors , P. 1985 . Propositional logic based on the dynamics of belief . Journal of Symbolic Logic , 50 : 390 – 394 .
  • Gärdenfors , P. 1988 . Knowledge in Flux , Cambridge, MA : MIT Press .
  • Hiz , H. 1958 . A warning about translating axioms . American Mathematical Monthly , 65 : 613 – 614 .
  • Humberstone , I.L. 1993 . Zero-place operations and functional completeness, and the definition of new connectives . Journal of the History and Philosophy of Logic , 14 : 39 – 66 .
  • Meyer , R.K. 1974 . Entailment is not strict implication . Australasian Journal of Philosophy , 52 : 212 – 231 .
  • Pearce , D. and Rautenberg , W. 1991 . “ Propositional logic based on the dynamics of disbelief ” . Edited by: Fuhrmann , A. and Morreau , M. 243 – 258 . Springer-Verlag . The Logic of Theory Change, Lecture Notes in Artificial Intelligence #465
  • Segerberg , K. 1968 . Propositional logics related to Heyting’s and Johansson’s . Theoria , 34 : 26 – 61 .
  • Shoesmith , D.J. and Smiley , T.J. 1978 . Multiple-Conclusion Logic , Cambridge : Cambridge University Press .
  • Woleriski , J. 1989 . Logic and Philosophy in the Lvov-Warsaw School , Dordrecht : Kluwer .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.