To the problem of characterization of logic of the Vasiliev type: on tabularity I_ x, y (x, y \0, 1, 2, \ and x < y)

DOI10.21146/2074-1472-2017-23-1-57-82MaRDI QIDQ5365401zbMATH OpenOpenAlexFDO

Authors Vladimir M. Popov

Publication date 6 October 2017

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2017-23-1-57-82

zbMATH Keywords

\(I\)-logic \(I_{\langle m, n \rangle}\)cortege semantics of the \(I\)-logic \(I_{\langle m, n \rangle}\)two-valued semantics of the \(I\)-logic \(I_{\langle m, n \rangle}\)

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II
• Sequent axiomatization and semantics of I-logics of Vasiliev's type
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• On the logics related to A. Arruda’s system V1
• An embedding of N. A. Vasil'ev's imaginary logic into quantified three-valued logic

Cited in

(3)

• Sequent axiomatization and semantics of I-logics of Vasiliev's type
• On the logics related to A. Arruda’s system V1
• К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II

This page was built for publication: To the problem of characterization of logic of the Vasiliev type: on tabularity \(I_{\langle x, y \rangle} (x, y \in \{0, 1, 2, \dots\}\) and \(x < y)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5365401)