An essay in matrix semantics for consequence relations

DOI10.1007/978-3-031-44461-6_18MaRDI QIDQ6610498

Jan Zygmunt

Publication date: 25 September 2024

zbMATH Keywords

ultraproductlogical matrixmultiple-conclusion consequence relationabstract propositional logic/calculusconsequence operation in Tarski's senseconsequence relation determined by a class of matricesCzelakowski's characterization theoremLindenbaum-type logical matrixmodel theory for logical matricesShoesmith and Smiley's finite basis theoremstrict homomorphism and strict congruencestrongly finite sentential calculusWojtylak's representation theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Matrix representations for structural strengthenings of a propositional logic
• Reduced products of logical matrices
• Equivalential logics. I
• The lattice of strengthenings of a strongly finite consequence operation
• On the degree of complexity of sentential logics. A couple of examples
• Some theorems on structural consequence operations
• A note on direct products and ultraproducts of logical matrices
• Matrix approach in methodology of sentential calculi
• Model theory
• Rules and Derived Rules
• Continuous Model Theory. (AM-58)
• Some remarks on the consequence operation in sentential logics

This page was built for publication: An essay in matrix semantics for consequence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610498)