A metacompleteness theorem for contraction-free relevant logics
From MaRDI portal
Publication:1064316
DOI10.1007/BF00935747zbMath0576.03014MaRDI QIDQ1064316
Publication date: 1984
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00935747
03B45: Modal logic (including the logic of norms)
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, METAVALUATIONS, Gentzenizations of relevant logics without distribution. I, Gentzenizations of relevant logics without distribution. II, Gentzenizations of relevant logics with distribution, Logic—The Big Picture, Normalized natural deduction systems for some relevant logics I: The logic DW, Some metacomplete relevant modal logics, The simple consistency of naive set theory using metavaluations, The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations, Free semantics, The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models, Completeness and conservative extension results for some Boolean relevant logics, Modal translations in substructural logics, Metacompleteness of substructural logics, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, An incompleteness theorem for modal relevant logics, What is a relevant connective?, Gentzenization and decidability of some contraction-less relevant logics, Notes on stratified semantics, Comparing Contents with Information, The Number of Logical Values, FOUR BASIC LOGICAL ISSUES
Cites Work