Conservative extension in relevant implication
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3356738 (Why is no real title available?)
- scientific article; zbMATH DE number 3193725 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A completeness theorem in modal logic
- Completeness of relevant quantification theories
- E and S4
- Modalities in Ackermann's “rigorous implication”
- The pure calculus of entailment
Cited in
(13)- Relevant analytic tableaux
- Subdirectly irreducible residuated semilattices and positive universal classes
- A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
- Classical relevant logics. I
- The semantics of entailment. III
- Contextual deduction theorems
- Fragments of R-mingle
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Aggregation and idempotence
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Representable idempotent commutative residuated lattices
- Implication lattices
- Varieties of De Morgan monoids: covers of atoms
This page was built for publication: Conservative extension in relevant implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264755)
