Ordering protoalgebraic logics

DOI10.1093/LOGCOM/EXU015MaRDI QIDQ2957951zbMATH OpenOpenAlexFDO

Authors Josep Maria Font

Publication date 31 January 2017

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/557582ed8594255934a4edcadafc3b5bc476db46

zbMATH Keywords

abstract algebraic logicLeibniz hierarchyorder structures of logicsprotoalgebraic logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Recommendations

• scientific article; zbMATH DE number 5772813
• Logics of order and related notions
• Protoalgebraic logics
• Protoalgebraic logics
• Order algebras as models of linear logic
• scientific article; zbMATH DE number 4012583
• scientific article; zbMATH DE number 672330
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 1163934

Cited in

(19)

• Stationary logic of ordinals
• Order algebraizable logics
• Logic of convex order
• Logics of order and related notions
• Free ordered algebraic structures towards proof theory
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 3887106 (Why is no real title available?)
• scientific article; zbMATH DE number 5772813 (Why is no real title available?)
• scientific article; zbMATH DE number 4012583 (Why is no real title available?)
• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• scientific article; zbMATH DE number 67965 (Why is no real title available?)
• scientific article; zbMATH DE number 1163951 (Why is no real title available?)
• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• Order-dual relational semantics for non-distributive propositional logics
• ON EQUATIONAL COMPLETENESS THEOREMS
• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• The simplest protoalgebraic logic
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Protoalgebraic logics

This page was built for publication: Ordering protoalgebraic logics

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