Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory

DOI10.1007/978-3-662-45824-2_14zbMath1304.03077OpenAlexW26766967MaRDI QIDQ2937403

Sourav Tarafder

Publication date: 9 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45824-2_14

zbMATH Keywords

ordinal numbersparaconsistent logicnon-classical set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Ordinal and cardinal numbers (03E10) Paraconsistent logics (03B53)

Related Items (5)

NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ Constructing illoyal algebra-valued models of set theory ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory

This page was built for publication: Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory