Answered Modal Logic Catuṣkoṭi - Building a bridge between two esoteric 4-value logics using intuition of quantum measurements

This page summarizes the projects mentioned and recommended in the original post on /r/logic
mathematical-logic Research type-theory

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • path_semantics

    A research project in path semantics, a re-interpretation of functions for expressing mathematics

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • What do we mean by "the foundations of mathematics"?

    2 projects | news.ycombinator.com | 1 Nov 2023

  • The Prop challenge has been solved

    6 projects | /r/rust | 4 Nov 2022

  • Prop v0.21 released! Experimental support for homotopy levels (propositional theorem proving in Rust)

    2 projects | /r/rust | 22 Feb 2022

  • Prop v0.8 released! Propositional theorem proving in Rust (Logic)

    7 projects | /r/rust | 14 Jan 2022

  • Catuṣkoṭi Communication - An intuitive explanation of Cubical Binary Codes in the AML Catuṣkoṭi bridge

    1 project | /r/logic | 6 Apr 2021