On the logics related to A. Arruda’s system V1
From MaRDI portal
Publication:3149170
Recommendations
- Sequent axiomatization and semantics of I-logics of Vasiliev's type
- scientific article; zbMATH DE number 3889507
- Four simple paralogics: semantics and sequent calculi
- 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)\)
- К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II
Cited in
(9)- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
- An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))
- Deduction normalization theorem for Sette's logic and its modifications
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик
- 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)\)
- scientific article; zbMATH DE number 3889507 (Why is no real title available?)
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- О критерии паранормальности для $n$-значных логических матриц
This page was built for publication: On the logics related to A. Arruda’s system V1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149170)
