The following pages link to (Q4732137):
Displaying 28 items.
- Current trends in substructural logics (Q266641) (← links)
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- Identity in modal logic theorem proving (Q687161) (← links)
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- The Ackermann constant theorem: A computer-assisted investigation (Q1181706) (← links)
- Algorithms for finding matrix models of propositional calculi (Q1181707) (← links)
- Relevant logic programming (Q1181715) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- Approaching hard non-classical problems (Q1181720) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- Tableau-based characterization and theorem proving for default logic (Q1344885) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Whither relevant arithmetic? (Q4032864) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- There exist exactly two maximal strictly relevant extensions of the relevant logic <i>R</i> (Q4934032) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Comments on the Contributions (Q5027252) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
