Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

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 -

inglise keel
2026-03-17
134,72 € 224,53 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

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 ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

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.

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786130750930
Kirjuta oma arvustus
Te vaatate: 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
Teie hinnang:

Goodreads'i arvustused

134,72 € 224,53 €