Boolean operators allow terms to be combined through logic operators. Nav4 KWS supports AND, "+", OR, NOT and "-" as Boolean operator. The OR operator links two terms and finds a matching document if ...
Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...
In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback