Pages that link to "Item:Q938238"

The following pages link to Logics with disjunction and proof by cases (Q938238):

Displaying 12 items.

• The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
• Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
• The logic of the strongest and the weakest t-norms (Q1677041) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• Corrigendum to ``The logic of the strongest and the weakest t-norms'' (Q1697319) (← links)
• Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
• Prelinear algebras in relatively regular quasivarieties (Q2376911) (← links)
• Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
• The finite model property for semilinear substructural logics (Q2856632) (← links)
• Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)