Pages that link to "Item:Q1422450"

The following pages link to Algebraic semantics for deductive systems (Q1422450):

Displaying 27 items.

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• Representations of structural closure operators (Q627430) (← links)
• Varieties of algebraic systems and propositional calculi (Q1080449) (← links)
• An algebraic view of super-Belnap logics (Q1685564) (← links)
• On the complexity of the Leibniz hierarchy (Q1740630) (← links)
• Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
• The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
• In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
• Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
• Proof Theory, Semantics and Algebra for Normative Systems (Q2859108) (← links)
• Refinement by Interpretation in a General Setting (Q2994492) (← links)
• Correspondences between gentzen and hilbert systems (Q3410681) (← links)
• Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
• (Q3719823) (← links)
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)
• (Q4715441) (← links)
• Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)
• ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
• The simplest protoalgebraic logic (Q5396225) (← links)
• Observational Refinement Process (Q5403465) (← links)
• Recent Trends in Algebraic Development Techniques (Q5704002) (← links)
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)