On the logics related to A. Arruda’s system V1
From MaRDI portal
Publication:3149170
DOI10.12775/LLP.1999.007zbMATH Open1001.03030OpenAlexW2167826041MaRDI QIDQ3149170FDOQ3149170
Authors: Vladimir M. Popov 
Publication date: 24 September 2002
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.1999.007
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)
- An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик
- Deduction normalization theorem for Sette's logic and its modifications
- 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)\)
- 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
- Title not available (Why is that?)
- О критерии паранормальности для $n$-значных логических матриц
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
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)
