The following pages link to Proof systems for lattice theory (Q4818936):
Displaying 13 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)
- Strong extension-free proof systems (Q2303251) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Practical exact proofs from lattices: new techniques to exploit fully-splitting rings (Q2692384) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- (Q4370349) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- (Q5427872) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712437) (← links)
