Search results

Quantifier Elimination

Status: Open.

#821 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Apr 16, 2026

Spliting repository

Status: Open.

#819 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Apr 3, 2026

Make Entailment a mere relation

Status: Open.

#813 In FormalizedFormalLogic/Foundation;

· iehality opened on Mar 18, 2026

On naming convention and file structure

Status: Open.

#809 In FormalizedFormalLogic/Foundation;

· iehality opened on Mar 9, 2026

ℒₒᵣ / ℒₛₑₜ-Sentence to ArithmeticSentence / SetTheorySentence

Status: Open.

#803 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Mar 2, 2026

Refine proof system of first-order logic

Status: Open.

#793 In FormalizedFormalLogic/Foundation;

· iehality opened on Feb 28, 2026

Rewriting to (only) Model based Kripke semantics

Status: Open.

#789 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 25, 2026

Abstract Witness Comparison

Status: Open.

#775 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 20, 2026

Check the main theorems depends no sorry

Status: Open.

#757 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 16, 2026

Lindenbaum algebra of nice theory is not rich

Status: Open.

#739 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 5, 2026

Shappiro's Epistemic Arithmetic

Status: Open.

#734 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 4, 2026

Classification of Provability Logic

Status: Open.

#733 In FormalizedFormalLogic/Foundation;

· SnO2WMaN opened on Feb 2, 2026