The following pages link to Robert K. Meyer (Q452354):
Displaying 50 items.
- On the ternary relation and conditionality (Q452358) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- A structurally complete fragment of relevant logic (Q689216) (← links)
- Completeness of relevant quantification theories (Q758985) (← links)
- A note on R\(\rightarrow\) matrices (Q791515) (← links)
- The fundamental S-theorem - A corollary (Q793001) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- Where gamma fails (Q1071752) (← links)
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- Career induction for quantifiers (Q1134151) (← links)
- Career induction stops here (and here =2) (Q1137573) (← links)
- The ineliminability of \(E|\) in free quantification theory without identity (Q1165831) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- The admissibility of \(\gamma\) in R4 (Q1203779) (← links)
- The semantics of \(R4\) (Q1208151) (← links)
- Classical relevant logics. I (Q1221097) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- The semantics of entailment. II (Q1221739) (← links)
- The semantics of entailment. III (Q1221740) (← links)
- Negation disarmed (Q1223283) (← links)
- First degree formulas in Curry's LD (Q1230775) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- The finite model property for BCK and BCIW (Q1317904) (← links)
- New axiomatics for relevant logics. I (Q1394338) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- Logic on the Australian plan (Q1820145) (← links)
- Choice and descriptions in enriched intensional languages. I (Q1844820) (← links)
- Conservative extension in relevant implication (Q2264755) (← links)
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) (Q2481250) (← links)
- E and S4 (Q2535235) (← links)
- Matters of separation (Q2539843) (← links)
- Metacompleteness (Q2550725) (← links)
- On relevantly derivable disjunctions (Q2553957) (← links)
- On conserving positive logics (Q2556851) (← links)
- (Q2735832) (← links)
- The Better Bubbling Lemma (Q2864214) (← links)
- (Q3001365) (← links)
- Further Results on Proof Theories For Semilattice Logics (Q3030795) (← links)
- (Q3197806) (← links)
- (Q3466593) (← links)
- (Q3469090) (← links)
- (Q3657965) (← links)
- (Q3669375) (← links)
- (Q3669376) (← links)
- (Q3682467) (← links)
- (Q3691634) (← links)
- (Q3701398) (← links)
- Idempotents in R (Q3707992) (← links)
- Inconsistent models for relevant arithmetics (Q3734361) (← links)
- Conservative Extension in Relevant Arithmetic (Q3734362) (← links)
