Search results
Jump to navigation
Jump to search
Page title matches
- == Semantics of an imperative logic == ...3 KB (465 words) - 17:26, 15 February 2020
Page text matches
- !Semantics !Semantics ...8 KB (1,231 words) - 01:31, 1 February 2016
- ==Semantics== {{main|Draft:Semantics}} ...11 KB (1,621 words) - 02:22, 1 December 2020
- W.F. Lawvere. 1963. Functorial Semantics of Algebraic Theories. Proc. Natl. Acad. Sci. USA, 50: 869-872 ...2 KB (375 words) - 16:16, 12 September 2020
- ...ught this paper. In section~\ref{def:lang}, we provide the syntax and the semantics of the planning In this section, we present the syntax and the semantics of the formal language that we use to express automated planning problem in ...14 KB (2,194 words) - 00:02, 24 June 2010
- ...ers to [[w:de:probability distribution|probability distribution]]s and the semantics of probability mass/density function describes the distrubtion of weights a ...3 KB (460 words) - 17:43, 9 October 2020
- == Semantics of an imperative logic == ...3 KB (465 words) - 17:26, 15 February 2020
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, (2): 77--94. Lawvere, F.W.: 1963, Functorial Semantics of Algebraic Theories, ''Proc. Natl. Acad. Sci. USA.'' ...7 KB (997 words) - 04:48, 12 September 2020
- This similarity of semantics, or syntax, is explored in more detail as an exercise in "[[Topology on Tex == Semantics: metric == ...19 KB (3,218 words) - 12:42, 25 November 2024
- #Syntax, semantics and structures ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77--94. ...8 KB (1,028 words) - 04:44, 12 September 2020
- ...neral Semantics Bulletin'', Nos. 26 & 27, 7–18, Institute of General Semantics, Lakeville, CT. Reprinted, pp. 1–18 in ''Embodiments of Mind''. [ht ...9 KB (1,221 words) - 08:46, 24 March 2023
- ===Semantics=== ...15 KB (2,384 words) - 14:06, 3 March 2025
- Lawvere, F. W., Functorial Semantics of Algebraic Theories, ...4 KB (507 words) - 04:44, 12 September 2020
- W.F. Lawvere: 1963. Functorial Semantics of Algebraic Theories. Proc. Natl. Acad. Sci. USA, 50: 869--872 ...6 KB (902 words) - 05:10, 12 September 2020
- ...age theory is concerned with the purely syntactical aspects, rather than a semantics or meaning of the strings<ref name="wikipedia">Wikipedia, https://en.wikipe ...5 KB (809 words) - 14:34, 1 July 2017
- {{tlx|Charge ontology}}{{tlx|Reasoning resources}}{{Semantics resources}}{{Sisterlinks|Metadefinition}} ...6 KB (916 words) - 02:17, 30 April 2020
- ...tps://rdfostrich.github.io/article-jws2018-ostrich/|journal=Journal of Web Semantics|language=en|volume=54|issue=1|pages=4–28|doi=10.1016/j.websem.2018.08.001}} ...6 KB (904 words) - 18:41, 16 July 2020
- ...xpressions and well-formed formulas (wffs) of the language. In addition a semantics is given which defines truth and valuations (or interpretations). It allow [[Category:Semantics]] ...16 KB (2,271 words) - 02:29, 9 March 2020
- W.F. Lawvere: 1963. Functorial Semantics of Algebraic Theories. ''Proc. Natl. Acad. Sci. USA'' , 50: 869--872 ...7 KB (873 words) - 16:14, 12 September 2020
- {{tlx|Dominant group}}{{tlx|Linguistics resources}}{{tlx|Reasoning}}{{Semantics resources}}{{tlx|Terminology resources}}{{Sisterlinks|Rigorous definition}} [[Category:Semantics]] ...16 KB (2,461 words) - 01:51, 5 December 2020
- Lawvere, F. W., *Functorial Semantics of Algebraic Theories, ...7 KB (928 words) - 05:21, 12 September 2020