Udvidet returret til d. 31. januar 2025

Semantical Investigations in Heyting's Intuitionistic Logic - Dov M. Gabbay - Bog

Bag om Semantical Investigations in Heyting's Intuitionistic Logic

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789048183623
  • Indbinding:
  • Paperback
  • Sideantal:
  • 294
  • Udgivet:
  • 22. december 2010
  • Udgave:
  • 11981
  • Størrelse:
  • 279x210x16 mm.
  • Vægt:
  • 717 g.
  • 8-11 hverdage.
  • 10. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Semantical Investigations in Heyting's Intuitionistic Logic

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication.

Brugerbedømmelser af Semantical Investigations in Heyting's Intuitionistic Logic



Find lignende bøger
Bogen Semantical Investigations in Heyting's Intuitionistic Logic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.