Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size

Philosophia Verlag GmbH

Info: Your browser does not accept cookies. If you want to put products into your cart and purchase them you need to enable cookies.


 


Herre, Heinrich

Boolean Algebras


ISBN: 978-3-88405-581-6

Price: €14.80 (including 19 % tax)


Partial orderings and mereological Systems. The present paper focuses  on the inter-relation between mereological systems and Boolean algebras and the investigation of model-theoretic and algorithmic properties of the corresponding theories. Some of these topics are discussed in a broader context in (Herre 2010). Throughout the paper the standard notation of first order logic and model theory is used, and familiarity with the following notions is presupposed: first order theory, model, relational structure, elementary equivalence, elementary type, and semantic deduction (for these notions see Chang 1977, Hodges 1993). A mereological system M = (E, ) is a relational structure which is determined by a domain E of entities and a binary relation on E, called  part-of relation. The theory of all mereological systems, denoted by M, is called basic mereology. M is specified by the following axioms: (M1) ∀x (x  x), (reflexivity) ...


 


In Kürze finden Sie hier Rezensionen zu unseren Titeln



new publications

Carnap, Rudolf
Carnap, Rudolf
€9.80
Add to Cart

Brentano, Franz
Brentano, Franz
€14.80
Add to Cart

Boolean Algebras
Boolean Algebras
€14.80
Add to Cart

Bolzano, Bernard
Bolzano, Bernard
€14.80
Add to Cart

Boethius
Boethius
€9.80
Add to Cart

Biological Parts
Biological Parts
€9.80
Add to Cart

Bergmann, Gustav
Bergmann, Gustav
€9.80
Add to Cart

Axiomatic Method
Axiomatic Method
€14.00
Add to Cart

Atomism in Ancient Greek Philosophy
Atomism in Ancient Greek Philosophy
€14.80
Add to Cart

Artifact
Artifact
€9.80
Add to Cart