scientific article; zbMATH DE number 4117898
From MaRDI portal
Publication:4732137
Recommendations
Cited in
(47)- A case study in automated theorem proving: Finding sages in combinatory logic
- 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
- Modal translations in substructural logics
- \(\supset\)E is admissible in ``true relevant arithmetic
- Sentential constants in systems near R
- Tableau-based characterization and theorem proving for default logic
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Autarkic computations in formal proofs
- Embedding and automating conditional logics in classical higher-order logic
- Arnon Avron on semantics and proof theory of non-classical logics
- Epimorphisms in varieties of subidempotent residuated structures
- Automated theorem proving by resolution in non-classical logics
- The Beth property in algebraic logic
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Variations on a theme of Curry
- The decidability of the intensional fragment of classical linear logic
- Current trends in substructural logics
- scientific article; zbMATH DE number 5887277 (Why is no real title available?)
- scientific article; zbMATH DE number 5850137 (Why is no real title available?)
- scientific article; zbMATH DE number 991409 (Why is no real title available?)
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- scientific article; zbMATH DE number 3871323 (Why is no real title available?)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Reasoning Support for Casl with Automated Theorem Proving Systems
- Decision procedure of some relevant logics: a constructive perspective
- Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques
- scientific article; zbMATH DE number 3989325 (Why is no real title available?)
- Whither relevant arithmetic?
- scientific article; zbMATH DE number 627500 (Why is no real title available?)
- scientific article; zbMATH DE number 978243 (Why is no real title available?)
- scientific article; zbMATH DE number 2042611 (Why is no real title available?)
- Automated natural deduction prover and experiments
- European Summer Meeting of the Association for Symbolic Logic
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- A Logical Autobiography
- Comments on the Contributions
- scientific article; zbMATH DE number 3894495 (Why is no real title available?)
- Conserving involution in residuated structures
- Combining and automating classical and non-classical logics in classical higher-order logics
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
- Identity in modal logic theorem proving
- Variable-sharing as relevance
- Automated reasoning and nonclassical logics: Introduction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732137)
