Pages that link to "Item:Q368486"

The following pages link to The proof by cases property and its variants in structural consequence relations (Q368486):

Displaying 21 items.

• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
• Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
• A note on natural extensions in abstract algebraic logic (Q495839) (← links)
• Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
• De Morgan clones and four-valued logics (Q829759) (← links)
• An algebraic view of super-Belnap logics (Q1685564) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
• Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
• Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
• Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
• Strong standard completeness for continuous t-norms (Q1795210) (← links)
• Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
• A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
• A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
• THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
• The algebraic significance of weak excluded middle laws (Q6094135) (← links)
• Logics of upsets of De Morgan lattices (Q6140751) (← links)