The following pages link to Jean Porte (Q1252221):
Displaying 35 items.
- (Q760419) (redirect page) (← links)
- Individual concepts as propositional variables in \(ML^{\nu +1}\) (Q760420) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- A Desarguesian theorem for algebraic combinatorial geometries (Q1078570) (← links)
- The existence of orthogonal resolutions of lines in AG(n,q) (Q1096174) (← links)
- Spreads, flocks, and generalized quadrangles (Q1110095) (← links)
- A class of d-dimensional flag transitive translation planes (Q1116449) (← links)
- Congruences in Lemmon's SO.5 (Q1135842) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- Simplifying the axioms of the predicate calculus (Q1252222) (← links)
- The \(\Omega\)-system and the \(L\)-system of modal logic (Q1252232) (← links)
- Validity in intensional languages: A new approach (Q2266709) (← links)
- (Q3243259) (← links)
- (Q3253787) (← links)
- (Q3261415) (← links)
- (Q3272462) (← links)
- Schémas pour le calcul des propositions fondé sur la conjonction et la négation (Q3279276) (← links)
- (Q3289849) (← links)
- (Q3328521) (← links)
- (Q3328522) (← links)
- (Q3469082) (← links)
- (Q3752364) (← links)
- (Q3816055) (← links)
- (Q3898473) (← links)
- (Q3956911) (← links)
- (Q3960821) (← links)
- (Q3962962) (← links)
- (Q4404848) (← links)
- (Q4739892) (← links)
- (Q5328153) (← links)
- (Q5416158) (← links)
- (Q5546788) (← links)
- (Q5559239) (← links)
- (Q5650677) (← links)
- (Q5724769) (← links)
