Compositional Semantics for the Procedural Interpretation of Logic
From MaRDI portal
Recommendations
- Fully abstract compositional semantics for an algebra of logic programs
- Algebraic methods in the compositional analysis of logic programs
- A compositional semantics for logic programs
- Complementing logic program semantics
- An algebraic framework for the definition of compositional semantics of normal logic programs
Cited in
(16)- Compositional model-theoretic semantics for logic programs
- Non-commutative logic for compositional distributional semantics
- Are logical languages compositional?
- A semantic approach to illative combinatory logic
- Complementing logic program semantics
- A Compositional Semantics for ‘If Then’ Conditionals
- A structured alternative to Prolog with simple compositional semantics
- scientific article; zbMATH DE number 5081758 (Why is no real title available?)
- scientific article; zbMATH DE number 4050951 (Why is no real title available?)
- scientific article; zbMATH DE number 1837651 (Why is no real title available?)
- Theoretical Aspects of Computing – ICTAC 2005
- Single-domain free logic and the problem of compositionality
- The merits of compositional abstraction: a case study in propositional logic
- Sequential composition of propositional logic programs
- Fully abstract compositional semantics for an algebra of logic programs
- A compositional natural semantics and Hoare logic for low-level languages
This page was built for publication: Compositional Semantics for the Procedural Interpretation of Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449610)
