uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Intuitionistic logic and implicit definability
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
2000 (English)In: ANNALS OF PURE AND APPLIED LOGIC, ISSN 0168-0072, Vol. 105, no 1-3, 83-102 p.Article in journal (Refereed) Published
Abstract [en]

It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong ep

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2000. Vol. 105, no 1-3, 83-102 p.
Keyword [en]
superintuitionistic logic; projective Beth property; strong epimorphisms surjectivity
Identifiers
URN: urn:nbn:se:uu:diva-36535OAI: oai:DiVA.org:uu-36535DiVA: diva2:64434
Note
Addresses: Maksimova L, Uppsala Univ, Dept Comp Sci, Box 311, S-75105 Uppsala, Sweden. Uppsala Univ, Dept Comp Sci, S-75105 Uppsala, Sweden. Russian Acad Sci, Inst Math, Siberian Branch, Novosibirsk 630090, Russia.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-14

Open Access in DiVA

No full text

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 424 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf