An essay in matrix semantics for consequence relations
type: Item
instance of: scholarly article
title: An essay in matrix semantics for consequence relations
DOI: 10.1007/978-3-031-44461-6_18
author: Jan Zygmunt
publication date: 2024-09-25T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7918538
zbMATH Keywords: multiple-conclusion consequence relation
zbMATH Keywords: abstract propositional logic/calculus
zbMATH Keywords: logical matrix
zbMATH Keywords: Lindenbaum-type logical matrix
zbMATH Keywords: consequence relation determined by a class of matrices
zbMATH Keywords: model theory for logical matrices
zbMATH Keywords: strict homomorphism and strict congruence
zbMATH Keywords: ultraproduct
zbMATH Keywords: strongly finite sentential calculus
zbMATH Keywords: Shoesmith and Smiley's finite basis theorem
zbMATH Keywords: consequence operation in Tarski's sense
zbMATH Keywords: Czelakowski's characterization theorem
zbMATH Keywords: Wojtylak's representation theorem
MaRDI profile type: Publication
cites work: Some theorems on structural consequence operations
cites work: Q4078023
cites work: Continuous Model Theory. (AM-58)
cites work: Model theory
cites work: Q5515373
cites work: Q3208633
cites work: Reduced products of logical matrices
cites work: Equivalential logics. I
cites work: The lattice of strengthenings of a strongly finite consequence operation
cites work: Q4052071
cites work: Q4168905
cites work: Q3912566
cites work: On the degree of complexity of sentential logics. A couple of examples
cites work: Q3268305
cites work: Q4124795
cites work: Q4079581
cites work: Rules and Derived Rules
cites work: Q4159022
cites work: Matrix representations for structural strengthenings of a propositional logic
cites work: Some remarks on the consequence operation in sentential logics
cites work: Matrix approach in methodology of sentential calculi
cites work: Q4159032
cites work: A note on direct products and ultraproducts of logical matrices
cites work: Q4196406
description: scientific article; zbMATH DE number 7918538