Name: Intermediate Logic
SKU: 66973544
Price: 162.73 EUR
Availability: InStock
ISBN: 9786130750930

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Alphascript Publishing

Language

English

Format

Paperback

Dimensions

0 x 0 cm

ISBN13

9786130750930

Intermediate Logic

New Book Imported to Netherlands

Delivery: 30 Sep - 02 Oct

€ 162,73

Import costs and 9% BTW included in the price ✅

€ 162,73

Add to Wishlist

Synopsis "Intermediate Logic"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Synopsis "Intermediate Logic"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery