Algebraic semantics for deductive systems

DOI10.1023/A:1024626023417zbMATH Open1049.03008OpenAlexW1573560425MaRDI QIDQ1422450FDOQ1422450

Authors: W. J. Blok, Jordi Rebagliato 

Publication date: 15 February 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024626023417

Recommendations

• Algebraizable logics
• scientific article; zbMATH DE number 475183
• scientific article; zbMATH DE number 3864473
• Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
• scientific article; zbMATH DE number 1303723
• scientific article; zbMATH DE number 1303458
• Publication:4727402
• A perspective on the algebra of logic
• Definitional equivalence and algebraizability of generalized logical systems
• scientific article; zbMATH DE number 3906432

zbMATH Keywords

intuitionistic logiclinear logicmodal logicdeductive systemalgebraic semanticsmatrix semanticsprotoalgebraic logicmono-unary algebraequational consequence

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Other algebras related to logic (03G25) Unary algebras (08A60) Quasivarieties (08C15)

Cited In (29)

• Proof Theory, Semantics and Algebra for Normative Systems
• In memory of Willem Johannes Blok 1947-2003
• A study of truth predicates in matrix semantics
• Correspondences between gentzen and hilbert systems
• Title not available (Why is that?)
• An algebraic view of super-Belnap logics
• Varieties of algebraic systems and propositional calculi
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• A coalgebraic perspective on logical interpretations
• Beyond Rasiowan systems: unital deductive systems
• Representations of structural closure operators
• Observational refinement process
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Recent Trends in Algebraic Development Techniques
• Algebraic Semantics for Dynamic Dynamic Logic
• ON EQUATIONAL COMPLETENESS THEOREMS
• The poset of all logics. III: Finitely presentable logics
• The simplest protoalgebraic logic
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• On the complexity of the Leibniz hierarchy
• Algebraic study of two deductive systems of relevance logic
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• Willem Blok's contribution to abstract algebraic logic
• Title not available (Why is that?)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Abstract algebraic logic. An introductory chapter
• Refinement by Interpretation in a General Setting

This page was built for publication: Algebraic semantics for deductive systems

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