Some metacomplete relevant modal logics
type: Item
instance of: scholarly article
title: Some metacomplete relevant modal logics
zbMATH Open document ID: 1315.03031
author: Takahiro Seki
published in: Studia Logica
publication date: 2013-12-05T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 6235911
zbMATH Keywords: relevant modal logic
zbMATH Keywords: metacompleteness
zbMATH Keywords: primeness
zbMATH Keywords: consistency
zbMATH Keywords: admissibility of \(\gamma\)
MaRDI profile type: Publication
full work available at URL: s11225-012-9433-8
OpenAlex ID: W1967238423
cites work: Q4961804
cites work: Q3128959
cites work: Disjunction and existence under implication in elementary intuitionistic formalisms
cites work: Metacompleteness
cites work: A Sahlqvist theorem for relevant modal logics
cites work: The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
cites work: The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
cites work: An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
cites work: A metacompleteness theorem for contraction-free relevant logics
DOI: 10.1007/S11225-012-9433-8
description: scientific article; zbMATH DE number 6235911