Pages that link to "Item:Q1394338"

The following pages link to New axiomatics for relevant logics. I (Q1394338):

Displaying 12 items.

• \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
• Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
• Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
• Classical relevant logics. II (Q1221098) (← links)
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471) (← links)
• Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
• The original sin of proof-theoretic semantics (Q2690170) (← links)
• Non-Boolean classical relevant logics. I (Q2695399) (← links)
• Australasian Association for Logic 30th Anniversary Conference (Q4879897) (← links)
• Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
• Relevance Logic as a Conservative Extension of Classical Logic (Q5250318) (← links)
• Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)