20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

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 -

English
2026-03-17
€179.62 €224.53

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

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 ... Full description

You May Also Like

Description

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.

More Information

Publisher OmniScriptum
Release year 2026
Cover type Softcover
EAN 9786130750930
Write Your Own Review
You're reviewing: 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
Your Rating:

Goodreads Reviews

€179.62 €224.53