Downloads & Free Reading Options - Results

Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable by Konrad Zdanowski

Read "Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable" by Konrad Zdanowski through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable

By

It is known that the set of tautologies of second order intuitionistic propositional logic, $\mathrm{IPC} 2$, is undecidable. Here, we prove that the sets of formulas of $\mathrm{IPC} 2$ which are true in the algebra of open subsets of reals or rationals are decidable.

“Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable” Metadata:

  • Title: ➤  Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable
  • Author:

“Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 0.15 Mbs, the file-s for this book were downloaded 21 times, the file-s went public at Fri Jun 29 2018.

Available formats:
Archive BitTorrent - Metadata - Text PDF -

Related Links:

Online Marketplaces

Find Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable at online marketplaces:


Top of Page

Buy “Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable” online:

Shop for “Second Order Intuitionistic Propositional Logic Of The Real Line Is Decidable” on popular online marketplaces.