S. I. Bashmakov, M. I. Golovanov, “Axiomatization of intuitionistic logics defined by small frames”, Mathematical notes of NEFU, 24:1 (2017), 6

Loading [MathJax]/jax/output/SVG/config.js

Mathematical notes of NEFU

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Mathematical notes of NEFU:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Mathematical notes of NEFU, 2017, Volume 24, Issue 1, Pages 6–15 (Mi svfu2)

Mathematics

Axiomatization of intuitionistic logics defined by small frames

S. I. Bashmakov, M. I. Golovanov

Siberian Federal University, 79 Svobodniy pr., Krasnoyarsk 660041, Russia

Full-text PDF (276 kB)

References:

PDF

HTML

Abstract: In this paper, we study the tabular intuitionistic logics semantically characterized by the Kripke frames of the depths no greater than 3 and widths no greater than 2. The axiomatization of such basic logics is given; the lattice generated by them is constructed. Known methods make it possible, using given axiomatization, to specify the axiomatic of the remaining logics from the lattice.

Keywords: superintuitionistic logic, Kripke frame, axiomatization of logic.

Received: 01.11.2016

Bibliographic databases:

Document Type: Article

UDC: 510.649

Language: Russian

Citation: S. I. Bashmakov, M. I. Golovanov, “Axiomatization of intuitionistic logics defined by small frames”, Mathematical notes of NEFU, 24:1 (2017), 6–15

Citation in format AMSBIB

\Bibitem{BasGol17}

\by S.~I.~Bashmakov, M.~I.~Golovanov

\paper Axiomatization of intuitionistic logics defined by small frames

\jour Mathematical notes of NEFU

\yr 2017

\vol 24

\issue 1

\pages 6--15

\mathnet{http://mi.mathnet.ru/svfu2}

\elib{https://elibrary.ru/item.asp?id=30353125}

Linking options:

https://www.mathnet.ru/eng/svfu2

https://www.mathnet.ru/eng/svfu/v24/i1/p6

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	195
Full-text PDF :	70
References:	40

Registration to the website

Logotypes