Pages that link to "Item:Q1181482"

The following pages link to The disjunction property of intermediate propositional logics (Q1181482):

Displaying 16 items.

• Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
• Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
• Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
• Maximality and refutability (Q558425) (← links)
• Single chain completeness and some related properties (Q679807) (← links)
• The disjunction property of intermediate propositional logics (Q1181482) (← links)
• Modal companions of intermediate propositional logics (Q1194106) (← links)
• A new solution to a problem of Hosoi and Ono (Q1893145) (← 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)
• All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597) (← links)
• A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
• The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
• (Q4625704) (← links)
• Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)