The existence of matrices strongly adequate for E, R and their fragments
type: Item
instance of: scholarly article
title: The existence of matrices strongly adequate for E, R and their fragments
zbMATH Open document ID: 0411.03016
DOI: 10.1007/BF00493673
author: Marek Tokarz
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G99
zbMATH DE Number: 3637822
zbMATH Keywords: modal logic
zbMATH Keywords: algebraic logic
zbMATH Keywords: strongly adequate matrices
zbMATH Keywords: positive and implicative fragments
MaRDI profile type: Publication
cites work: Modalities in Ackermann's “rigorous implication”
cites work: The pure calculus of entailment
cites work: Intensional models for first degree formulas
cites work: Algebraic completeness results for R-mingle and its extensions
cites work: Q3268305
cites work: Completeness of relevant quantification theories
cites work: Some remarks on the consequence operation in sentential logics
cites work: Matrix approach in methodology of sentential calculi
full work available at URL: https://doi.org/10.1007/bf00493673
OpenAlex ID: W2013149873
description: scientific article; zbMATH DE number 3637822