Pages that link to "Item:Q4777279"
From MaRDI portal
The following pages link to A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279):
Displaying 38 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Propositional lax logic (Q1368378) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- Incompleteness results in Kripke semantics (Q3984427) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Counting the maximal intermediate constructive logics (Q4283073) (← links)
- Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
