Mwmbl - context theoretic semantics

Welcome to Mwmbl! Feel free to submit a site to crawl. Please read the guidelines before editing results.

To contribute to the index you can get our Firefox Extension here. For recent crawling activity see stats.

https://en.wikipedia.org/wiki/Semantics_(logic) — found via Wikipedia

Semantics (logic)

influential approaches, including model-theoretic semantics (pioneered by Alfred Tarski), proof-theoretic semantics (associated with Gerhard Gentzen and

Denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings

Operational semantics Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety

Game semantics Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of

Semantics Davidson's Truth-Theoretic Semantics. Clarendon. ISBN 978-0-191-53749-3. Retrieved 2024-02-23. Lewis, David (2012). "General Semantics". In Davidson, Donald;
http://arxiv.org/abs/1602.05400 — found via Mwmbl

[1602.05400] Category theoretic semantics for theorem proving in…

Abstract:A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The correspondin…

[2207.05946] Distribution Theoretic Semantics for Non-Smooth Dif… Abstract:With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Now…

[1602.05400v1] Category theoretic semantics for theorem proving … Abstract:A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The correspondin…

[2207.05946v1] Distribution Theoretic Semantics for Non-Smooth D… Abstract:With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Now…

[2204.12133] Non-determinsitic algebraic rewriting as adjunction Abstract: We develop a general model theoretic semantics to rewriting beyond the usual confluence and termination assumptions. This is based on preordered…

[1801.10385] Field theoretic renormalization study of reduced qu… Abstract:The field theoretic renormalization study of reduced quantum electrodynamics (QED) is performed up to two loops. In the condensed matter context…
http://lists.w3.org/Archives/Public/www-rdf-logic/2000Nov/0070.html — found via Mwmbl

Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic…

This message is to announce a new version of our document that specifies a formal semantics for the DAML-ONT language. The new document is available in 3…
https://surface.syr.edu/eecs_techreports/173 — found via Mwmbl

"General Model Theoretic Semantics for Higher-Order Horn Logic P…

Document Type Date Keywords Language Disciplines Description/Abstract We introduce model-theoretic semantics [6] for Higher-Order Horn logic programming …