An essay in matrix semantics for consequence relations (Q6610498)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An essay in matrix semantics for consequence relations |
scientific article; zbMATH DE number 7918538
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An essay in matrix semantics for consequence relations |
scientific article; zbMATH DE number 7918538 |
Statements
An essay in matrix semantics for consequence relations (English)
0 references
25 September 2024
0 references
multiple-conclusion consequence relation
0 references
abstract propositional logic/calculus
0 references
logical matrix
0 references
Lindenbaum-type logical matrix
0 references
consequence relation determined by a class of matrices
0 references
model theory for logical matrices
0 references
strict homomorphism and strict congruence
0 references
ultraproduct
0 references
strongly finite sentential calculus
0 references
Shoesmith and Smiley's finite basis theorem
0 references
consequence operation in Tarski's sense
0 references
Czelakowski's characterization theorem
0 references
Wojtylak's representation theorem
0 references
