Description

• Title:
  Formulas of one propositional variable in intuitionistic logic with the Solovay modality
• Creator:
  Esakia, Leo;
  Grigolia, Revaz
• Description:
  A description of the free cyclic algebra over the variety of Solovay algebras, as well as over its pyramid locally finite subvarieties is given.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2008.06.19
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 17 No. 1-2 (2008); 111-127;
  Logic and Logical Philosophy; Tom 17 Nr 1-2 (2008); 111-127;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2008.007/1304
• Subject:
  Heyting algebras;
  Kripke frames;
  free algebras;
  MSC;
  06B30;
  06F20;
  54F05
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2008.007
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text