Constructing illoyal algebra-valued models of set theory
type: Item
instance of: scholarly article
title: Constructing illoyal algebra-valued models of set theory
author: Benedikt Löwe
author: Robert Paßmann
author: Sourav Tarafder
published in: Algebra Universalis
publication date: 2021-08-17T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 7382710
zbMATH Keywords: non-classical set theory
zbMATH Keywords: algebra-valued models
MaRDI profile type: Publication
full work available at URL: s00012-021-00735-4
OpenAlex ID: W3175879018
cites work: Q3022775
cites work: Modal logic
cites work: A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
cites work: Intermediate logics and the de Jongh property
cites work: Q3837730
cites work: A propositional calculus with denumerable matrix
cites work: Generalized ortho negation
cites work: Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
cites work: Q3852176
cites work: Logic with truth values in A linearly ordered heyting algebra
cites work: On negation for non-classical set theories
cites work: Q3965241
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: Q5874220
cites work: Skolem's discovery of Gödel-Dummett logic
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
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: Some questions about Boolean algebras
cites work: Q5525364
DOI: 10.1007/S00012-021-00735-4
description: scientific article; zbMATH DE number 7382710