The following pages link to Proof systems for lattice theory (Q4818936):
Displayed 8 items.
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)