Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Intermediate Logic: Mathematical logic, Propositional logic, Intuitionistic logic, Classical logic, Modus ponens, Cardinality of the continuum, Excluded middle, De Morgans laws, Kurt Gödel, Michael Dummett -

angļu valoda
2026-03-17
159,21 € 244,94 €

-35% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 15-21 darba dienu laikā

30 dienu atgriešanas politika

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). Specifically, a superintuitionistic logic is a set L of propositional formula ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). Specifically, a superintuitionistic logic is a set L of propositional formulas in a countable set of variables pi satisfying the following properties: all axioms of intuitionistic logic belong to L; if F and G are formulas such that F and F ¿ G both belong to L, then G also belongs to L (closure under modus ponens); if F(p1, p2, ..., pn) is a formula of L, and G1, G2, ..., Gn are any formulas, then F(G1, G2, ..., Gn) belongs to L (closure under substitution). Such a logic is intermediate if furthermore L is not the set of all formulas.

Vairāk informācijas

Izdevējs OmniScriptum
Izlaides gads 2026
Vāka tips Mīkstais vāks
EAN 9786130750930
Rakstiet savu atsauksmi
Jūs vērtējat: Intermediate Logic: Mathematical logic, Propositional logic, Intuitionistic logic, Classical logic, Modus ponens, Cardinality of the continuum, Excluded middle, De Morgans laws, Kurt Gödel, Michael Dummett
Jūsu novērtējums:

Goodreads atsauksmes

159,21 € 244,94 €