Twist-Valued Models for Three-Valued Paraconsistent Set Theory
type: Item
instance of: scholarly article
title: Twist-Valued Models for Three-Valued Paraconsistent Set Theory
DOI: 10.12775/LLP.2020.015
author: Marcelo E. Coniglio
author: Walter Carnielli
published in: Logic and Logical Philosophy
publication date: 2021-12-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1911.11833
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7437982
zbMATH Keywords: paraconsistent set theory
zbMATH Keywords: Boolean-valued models
zbMATH Keywords: axiomatic set theory
zbMATH Keywords: twist structures
zbMATH Keywords: logics of formal inconsistency
zbMATH Keywords: three-valued paraconsistent logics
zbMATH Keywords: Leibniz's law
MaRDI profile type: Publication
cites work: Q3022775
cites work: Paraconsistent set theory by predicating on consistency
cites work: Paraconsistent logic: consistency, contradiction and negation
cites work: Logics of Formal Inconsistency
cites work: Q4440555
cites work: Formal inconsistency and evolutionary databases
cites work: An epistemic approach to paraconsistency: a logic of evidence and truth
cites work: An alternative approach for quasi-truth
cites work: Non-deterministic algebraization of logics by swap structures1
cites work: First-order swap structures semantics for some logics of formal inconsistency
cites work: Q4722043
cites work: Q4170718
cites work: Models for a paraconsistent set theory
cites work: GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
cites work: Transfer principle in quantum set theory
cites work: ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
cites work: Fuzzy logic and fuzzy set theory
cites work: Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
cites work: A lattice-valued set theory
cites work: Quantum set theory
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
cites work: Q5525364
description: scientific article; zbMATH DE number 7437982