The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.

Project Activity

See All Activity >

Categories

Mathematics

License

zlib/libpng License

Follow X-Logic

X-Logic Web Site

Other Useful Business Software
Get Avast Free Antivirus | Your top-rated shield against malware and online scams Icon
Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of X-Logic!

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Developers, Other Audience

User Interface

Web-based

Programming Language

Perl, C, Standard ML

Related Categories

Perl Mathematics Software, C Mathematics Software, Standard ML Mathematics Software

Registered

2000-01-11