Pages that link to "Item:Q1064316"
From MaRDI portal
The following pages link to A metacompleteness theorem for contraction-free relevant logics (Q1064316):
Displayed 23 items.
- Some metacomplete relevant modal logics (Q383574) (← links)
- The simple consistency of naive set theory using metavaluations (Q484104) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- Free semantics (Q600848) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- Comparing Contents with Information (Q3305425) (← links)
- The Number of Logical Values (Q3305657) (← links)
- FOUR BASIC LOGICAL ISSUES (Q3644802) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- METAVALUATIONS (Q4602434) (← links)
- Gentzenizations of relevant logics without distribution. I (Q4894717) (← links)
- Gentzenizations of relevant logics without distribution. II (Q4894718) (← links)
- Gentzenizations of relevant logics with distribution (Q4894719) (← links)
- Logic—The Big Picture (Q5241533) (← links)
- Normalized natural deduction systems for some relevant logics I: The logic DW (Q5477623) (← links)