Semantics for abstract clauses

DOI10.1007/3-540-58085-9_85MaRDI QIDQ6083702zbMATH OpenOpenAlexFDO

Authors D. A. Wolfram

Publication date 8 December 2023

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

Full work available at URL https://doi.org/10.1007/3-540-58085-9_85

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Abstraction and definability in semantically closed structures
• Semantics of a declarative language
• Abstract clones for abstract syntax
• Abstraction of syntax
• Abducible Semantics and Argumentation
• Semantic presuppositions in logical syntax
• scientific article; zbMATH DE number 972136
• Abstract interpretation from a denotational-semantics perspective
• scientific article; zbMATH DE number 3323810

Cites work

• scientific article; zbMATH DE number 65531 (Why is no real title available?)
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• scientific article; zbMATH DE number 4187810 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A framework for defining logics
• A lattice-theoretical fixpoint theorem and its applications
• A unification algorithm for typed -calculus
• The Clausal Theory of Types
• The Semantics of Predicate Logic as a Programming Language
• The calculus of constructions
• The foundation of a generic theorem prover
• The lambda calculus. Its syntax and semantics. Rev. ed.

This page was built for publication: Semantics for abstract clauses

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