<--- Back to Details
First PageDocument Content
Philosophical logic / Philosophy of mathematics / Non-classical logic / Logic in computer science / Causality / Mathematical logic / Gottlob Frege / Relevance logic / Mereology / Logic / Philosophy / Mathematics
Date: 2005-12-08 11:44:53
Philosophical logic
Philosophy of mathematics
Non-classical logic
Logic in computer science
Causality
Mathematical logic
Gottlob Frege
Relevance logic
Mereology
Logic
Philosophy
Mathematics

Add to Reading List

Source URL: www.logika.umk.pl

Download Document from Source Website

Share Document on Facebook

Similar Documents

NOUS 27: Naive Mereology,AdmissibleValuations, and OtherMatters PETERVANINWAGEN

DocID: 1uZKQ - View Document

FUNCTIONAL DECOMPOSITION AND MEREOLOGY IN ENGINEERING Pieter Vermaas and Pawel Garbacz 1

DocID: 1uTmA - View Document

To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.

DocID: 1tgPG - View Document

Logic / Abstraction / Philosophy / Automated theorem proving / Reasoning / Formal methods / Predicate logic / Datalog / First-order logic / Axiom / Satisfiability modulo theories / Mereology

Microsoft Word - BlankPage

DocID: 1rugC - View Document

Ontology / Semantic Web / Information science / Metaphysics / Knowledge representation / Computing / Web Ontology Language / Formal ontology / Mereology / Credit card / Credit

Microsoft Word - RegFormTutorials.docx

DocID: 1roAY - View Document