Pages that link to "Item:Q1097260"

The following pages link to On maximal intermediate logics with the disjunction property (Q1097260):

Displaying 31 items.

• Propositional logics of dependence (Q278765) (← links)
• A generalization of inquisitive semantics (Q312497) (← links)
• On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
• Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
• Cofinal stable logics (Q514517) (← links)
• Inquisitive logic (Q626493) (← links)
• The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
• The disjunction property of intermediate propositional logics (Q1181482) (← links)
• An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
• On representation of finite pseudo-Boolean algebras and one of its applications (Q1206268) (← links)
• Continuality of the set of maximal superintuitionistic logics with the disjunction property (Q1311077) (← links)
• Propositional lax logic (Q1368378) (← links)
• Negative equivalence of extensions of minimal logic (Q1770621) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
• Conditionals, probability, and non-triviality (Q1902557) (← 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)
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
• Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
• On maximal intermediate predicate constructive logics (Q2563458) (← links)
• A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
• A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← 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)
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
• A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
• On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)