Pages that link to "Item:Q1204112"
From MaRDI portal
The following pages link to An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112):
Displaying 8 items.
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← 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 maximal intermediate predicate constructive logics (Q2563458) (← links)
- Counting the maximal intermediate constructive logics (Q4283073) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Proof of the law of infinite conjunction using the perfect disjunctive normal form (Q5520634) (← links)