ALGEBRAIC VERSUS MATRIX SEMANTICS

2026 Preprint

View at publisher
Authors: Alexej P. Pynko
DOI: 10.22541/au.177315484.44912736/v1
Cited by: 0

Abstract

Here, we prove equivalence of proof- and model-theoretic approaches to algebraizability and extend the latter to defining matrix semantics making it much more practically applicable.

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge programming and type systems

Publication details

Publication date
10 March 2026
Language
EN
Document type
Preprint