Note on deduction theorems in contraction-free logics
From MaRDI portal
Recommendations
- A note on contraction-free logic for validity
- The proof-theoretical analysis of contraction-less relevant logics
- Contraction-free sequent calculi for intuitionistic logic
- Logics without the contraction rule and residuated lattices
- A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
- scientific article; zbMATH DE number 3837987
- Note on some fixed point constructions in provability logic
- Deduction theorem in congruential modal logics
- Canonical extensions for congruential logics with the deduction theorem
- A metacompleteness theorem for contraction-free relevant logics
Cites work
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- Linear logic
- Metamathematics of fuzzy logic
- Notes on the axiomatics of the propositional calculus
- Principal type-schemes and condensed detachment
- Residuated lattices. An algebraic glimpse at substructural logics
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(9)- From cut-free calculi to automated deduction: the case of bounded contraction
- scientific article; zbMATH DE number 3931007 (Why is no real title available?)
- scientific article; zbMATH DE number 1337625 (Why is no real title available?)
- CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
- Deduction-detachment theorem in hidden k-logics
- Lattice BCK logics with modus ponens as unique rule
- Contextual deduction theorems
- Contraction-elimination for implicational logics
- These degrees go to eleven: fuzzy logics and gradable predicates
This page was built for publication: Note on deduction theorems in contraction-free logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2888635)
