X-Logic

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 >

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

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

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

Similar Business Software

Revizto

Revizto unifies BIM intelligence and makes it immediately accessible and actionable for the entire project team. With Revizto’s advanced Issue Tracker predefined workflows project team members can identify and manage model-based issues in the 3D space and 2D sheets, including addressing clash...

See Software
Houzz Pro

Houzz Pro is the #1 construction management solution for residential contractors and designers. Get an all-in-one solution that spans the full customer lifecycle, including marketing, CRM, estimates, takeoffs, 3D floor plans, project management, selections, online invoicing & payments,...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software