scientific article; zbMATH DE number 4117898
From MaRDI portal
Publication:4732137
zbMath0682.68097MaRDI QIDQ4732137
Paul B. Thistlewaite, Robert K. Meyer, Michael A. McRobbie
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Current trends in substructural logics ⋮ Tableau-based characterization and theorem proving for default logic ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Whither relevant arithmetic? ⋮ The Beth property in algebraic logic ⋮ \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ The Ackermann constant theorem: A computer-assisted investigation ⋮ Algorithms for finding matrix models of propositional calculi ⋮ Relevant logic programming ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Approaching hard non-classical problems ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ Modal translations in substructural logics ⋮ A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics ⋮ Identity in modal logic theorem proving ⋮ There exist exactly two maximal strictly relevant extensions of the relevant logic R ⋮ Conserving involution in residuated structures ⋮ Variations on a theme of Curry ⋮ The decidability of the intensional fragment of classical linear logic ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Decision procedure of some relevant logics: a constructive perspective ⋮ Sentential constants in systems near R ⋮ Automated reasoning and nonclassical logics: Introduction ⋮ A Logical Autobiography ⋮ Comments on the Contributions
Uses Software
This page was built for publication:
