Canonical formulas via locally finite reducts and generalized dualities

Nick Bezhanishvili

doi:10.29007/hgbj

Download PDF Open PDF in browser

Canonical formulas via locally finite reducts and generalized dualities

2 pages•Published: July 28, 2014

Nick Bezhanishvili

Abstract

The method of canonical formulas is a powerful tool for investigating intuitionistic and modal logics. In this talk I will discuss an algebraic approach to this method. I will mostly concentrate on the case of intuitionistic logic. But I will also review the case of modal logic and possible generalizations to substructural logic.

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 2--3

Links:	https://easychair.org/publications/paper/ldc
	https://doi.org/10.29007/hgbj

BibTeX entry

@inproceedings{TACL2013:Canonical_formulas_via_locally,
  author    = {Nick Bezhanishvili},
  title     = {Canonical formulas via locally finite reducts and generalized dualities},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  pages     = {2--3},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ldc},
  doi       = {10.29007/hgbj}}

Download PDF Open PDF in browser