Login / Signup
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier.
Hans-Joachim Goltz
Published in:
Math. Log. Q. (1985)
Keyphrases
</>
set theory
boolean algebra
partial order
laplace transform
data model
theoretical framework
multi valued
algebraic geometry
expressive power
proof theory
fuzzy sets
real valued
modal logic
algebraic structure
relational algebra