![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| hilbert_or_1.p | 2024-10-04 18:30 | 102 | |
| hilbert_or_2.p | 2024-10-04 18:30 | 102 | |
| hilbert_or_3.p | 2024-10-04 18:30 | 102 | |
| hilbert_and_1.p | 2024-10-04 18:30 | 104 | |
| hilbert_and_2.p | 2024-10-04 18:30 | 104 | |
| hilbert_and_3.p | 2024-10-04 18:30 | 104 | |
| hilbert_op_or.p | 2024-10-04 18:30 | 104 | |
| km5_axiom_5.p | 2024-10-04 18:30 | 104 | |
| km5_axiom_K.p | 2024-10-04 18:30 | 104 | |
| km5_axiom_M.p | 2024-10-04 18:30 | 104 | |
| hilbert_op_equiv.p | 2024-10-04 18:30 | 110 | |
| hilbert_implies_1.p | 2024-10-04 18:30 | 112 | |
| hilbert_implies_2.p | 2024-10-04 18:30 | 112 | |
| hilbert_implies_3.p | 2024-10-04 18:30 | 112 | |
| km5_op_possibly.p | 2024-10-04 18:30 | 112 | |
| km5_necessitation.p | 2024-10-04 18:30 | 116 | |
| hilbert_modus_ponens.p | 2024-10-04 18:30 | 118 | |
| hilbert_equivalence_1.p | 2024-10-04 18:30 | 120 | |
| hilbert_equivalence_2.p | 2024-10-04 18:30 | 120 | |
| hilbert_equivalence_3.p | 2024-10-04 18:30 | 120 | |
| hilbert_modus_tollens.p | 2024-10-04 18:30 | 120 | |
| hilbert_op_implies_and.p | 2024-10-04 18:30 | 122 | |
| r1.p | 2024-10-04 18:30 | 135 | |
| kn1.p | 2024-10-04 18:30 | 138 | |
| substitution_of_equivalents.p | 2024-10-04 18:30 | 140 | |
| r2.p | 2024-10-04 18:30 | 143 | |
| kn2.p | 2024-10-04 18:30 | 146 | |
| cn3.p | 2024-10-04 18:30 | 147 | |
| or_1.p | 2024-10-04 18:30 | 147 | |
| or_2.p | 2024-10-04 18:30 | 147 | |
| op_or.p | 2024-10-04 18:30 | 149 | |
| r3.p | 2024-10-04 18:30 | 149 | |
| and_1.p | 2024-10-04 18:30 | 150 | |
| and_2.p | 2024-10-04 18:30 | 150 | |
| op_and.p | 2024-10-04 18:30 | 151 | |
| axiom_M.p | 2024-10-04 18:30 | 152 | |
| axiom_m4.p | 2024-10-04 18:30 | 155 | |
| cn2.p | 2024-10-04 18:30 | 155 | |
| axiom_m6.p | 2024-10-04 18:30 | 158 | |
| op_possibly.p | 2024-10-04 18:30 | 158 | |
| op_implies_or.p | 2024-10-04 18:30 | 159 | |
| and_3.p | 2024-10-04 18:30 | 161 | |
| axiom_B.p | 2024-10-04 18:30 | 162 | |
| implies_1.p | 2024-10-04 18:30 | 162 | |
| axiom_m2.p | 2024-10-04 18:30 | 163 | |
| op_necessarily.p | 2024-10-04 18:30 | 164 | |
| op_equiv.p | 2024-10-04 18:30 | 165 | |
| op_implies_and.p | 2024-10-04 18:30 | 167 | |
| r4.p | 2024-10-04 18:30 | 169 | |
| axiom_m1.p | 2024-10-04 18:30 | 170 | |
| axiom_5.p | 2024-10-04 18:30 | 172 | |
| axiom_m7.p | 2024-10-04 18:30 | 173 | |
| necessitation.p | 2024-10-04 18:30 | 176 | |
| axiom_4.p | 2024-10-04 18:30 | 178 | |
| axiom_m9.p | 2024-10-04 18:30 | 178 | |
| equivalence_1.p | 2024-10-04 18:30 | 179 | |
| equivalence_2.p | 2024-10-04 18:30 | 179 | |
| r5.p | 2024-10-04 18:30 | 179 | |
| axiom_m10.p | 2024-10-04 18:30 | 183 | |
| implies_2.p | 2024-10-04 18:30 | 184 | |
| axiom_s4.p | 2024-10-04 18:30 | 187 | |
| op_strict_implies.p | 2024-10-04 18:30 | 187 | |
| cn1.p | 2024-10-04 18:30 | 191 | |
| modus_tollens.p | 2024-10-04 18:30 | 191 | |
| axiom_m3.p | 2024-10-04 18:30 | 192 | |
| kn3.p | 2024-10-04 18:30 | 193 | |
| adjunction.p | 2024-10-04 18:30 | 194 | |
| or_3.p | 2024-10-04 18:30 | 199 | |
| axiom_s2.p | 2024-10-04 18:30 | 200 | |
| op_strict_equiv.p | 2024-10-04 18:30 | 200 | |
| equivalence_3.p | 2024-10-04 18:30 | 201 | |
| substitution_strict_equiv.p | 2024-10-04 18:30 | 201 | |
| modus_ponens.p | 2024-10-04 18:30 | 202 | |
| implies_3.p | 2024-10-04 18:30 | 203 | |
| axiom_K.p | 2024-10-04 18:30 | 208 | |
| axiom_m8.p | 2024-10-04 18:30 | 212 | |
| axiom_s3.p | 2024-10-04 18:30 | 222 | |
| axiom_m5.p | 2024-10-04 18:30 | 225 | |
| axiom_s1.p | 2024-10-04 18:30 | 236 | |
| modus_ponens_strict_implies.p | 2024-10-04 18:30 | 239 | |