~/Logic

March, 2024

Caching Theorem Prover Results

September, 2023

Representing Uncertainty under the Closed World Assumption

May, 2023

Functional Completeness

February, 2023

Prenex Normal Form - Implication Exercise

February, 2022

Intensional Logic Extends First Order