An Algebraic Presentation of Predicate Logic

DOI10.1007/978-3-642-37075-5_26zbMath1260.68116OpenAlexW199863285MaRDI QIDQ4910433

Sam Staton

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_26

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Logic programming (68N17) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

Normalization by evaluation and algebraic effects ⋮ Freyd categories are enriched Lawvere theories ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Flexibly graded monads and graded algebras ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Distributive laws for relative monads ⋮ Unnamed Item ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL

This page was built for publication: An Algebraic Presentation of Predicate Logic