Pages that link to "Item:Q3305418"

The following pages link to $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418):

Displaying 10 items.

• A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
• Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
• Paraconsistency and the need for infinite semantics (Q2317507) (← links)
• Logical argumentation by dynamic proof systems (Q2424889) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
• Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
• THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS (Q5221292) (← links)
• A logic for best explanations (Q5379324) (← links)
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)