scientific article; zbMATH DE number 2062375
From MaRDI portal
Publication:4459272
Recommendations
Cited in
(22)- On decision procedures for sentential logics
- On Sahlqvist formulas in relevant logic
- On the decidability of certain semi-lattice based modal logics
- Metacompleteness of substructural logics
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- scientific article; zbMATH DE number 4179336 (Why is no real title available?)
- scientific article; zbMATH DE number 4012564 (Why is no real title available?)
- Relational proof system for relevant logics
- Decision procedures for BDI logics
- scientific article; zbMATH DE number 1354103 (Why is no real title available?)
- A general characterization of the variable-sharing property by means of logical matrices
- scientific article; zbMATH DE number 1984514 (Why is no real title available?)
- Some relevance logics from the point of view of relational semantics
- scientific article; zbMATH DE number 6954650 (Why is no real title available?)
- Rules and Refutation Rules for the Logic of Finite n-ary Trees
- The complexity of decision procedures in relevance logic II
- Intension, extension, distribution and decidability
- Free semantics
- A decision procedure for the system E (of entailment). I
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
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 Q4459272)
