A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

DOI10.18778/0138-0680.2020.24OpenAlexW3101162048MaRDI QIDQ4999462

Natal'Ya Evgen'Evna Tomova

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.24

zbMATH Keywords

isomorphismsparaconsistent logicsparacomplete logicsfour-valued logicsliteral-paraconsistent-paracomplete logicssemi-lattice of logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four-valued paradefinite logics
• Maximal weakly-intuitionistic logics
• Deduction normalization theorem for Sette's logic and its modifications
• Propositional calculus for contradictory deductive systems
• On The Imaginary Logic of N. A. VASILIEV
• О континуальном классе четырехзначных максимально паранормальных логик
• Jaśkowski's criterion and three-valued paraconsistent logics
• On the logics related to A. Arruda’s system V1
• Literal-paraconsistent and literal-paracomplete matrices
• Combining Valuations with Society Semantics
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• О свойствах одного класса четырехзначных паранормальных логик

This page was built for publication: A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics