The term derives from the grammatical term "predicate", meaning a word or phrase that represents a property or relation.
Factivity, presupposition projection, and the role of discrete knowledge in gradient inference judgments
We investigate whether the factive presuppositions associated with some clause-embedding predicates are fundamentally discrete in nature—as classically assumed—or fundamentally gradient—consistent wit
Formulaic language
Formulaic language (previously known as automatic speech or embolalia) is a linguistic term for verbal expressions that are fixed in form, often non-literal in meaning, with attitudinal nuances, and closely related to communicative-pragmatic context.[1]
Abstract syntax and variable binding
We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with compatible algebra and substitution structures. The syntax generated by the signature is the initial model. This gives a notion of initial algebra semantics encompassing the traditional one; besides compositionality, it automatically verifies the semantic substitution lemma.
Datalog
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more.
Finite-Choice Logic Programming | Proceedings of the ACM on Programming Languages
Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems call for an enumeration of models that vary along some set of choices while ...
Home | Logic(s) Magazine
Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Home | Logic(s) Magazine
Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Word family
A word family is the base form of a word plus its inflected forms and derived forms made with suffixes and prefixes[1] plus its cognates, i.e. all words that have a common etymological origin, some of which even native speakers don't recognize as being related (e.g. "wrought (iron)" and "work(ed)").[2] In the English language, inflectional affixes include third person -s, verbal -ed and -ing, plural -s, possessive -s, comparative -er and superlative -est. Derivational affixes include -able, -er, -ish, -less, -ly, -ness, -th, -y, non-, un-, -al, -ation, -ess, -ful, -ism, -ist, -ity, -ize/-ise, -ment, in-.[1] The idea is that a base word and its inflected forms support the same core meaning, and can be considered learned words if a learner knows both the base word and the affix. Bauer and Nation proposed seven levels of affixes based on their frequency in English.[3] It has been shown that word families can assist with deriving related words via affixes, along with decreasing the time needed to derive and recognize such words.[4]
Institutions: abstract model theory for specification and programming | Journal of the ACM
There is a population explosion among the logical systems used in computing science. Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic, infinitary logic, dynamic logic, intuitionistic logic, order-sorted logic, ...
Functorial data migration
In this paper we present a simple database definition language: that of categories and functors. A database schema is a small category and an instance is a set-valued functor on it. We show that morphisms of schemas induce three “data migration functors”, which translate instances from one schema to the other in canonical ways. These functors parameterize projections, unions, and joins over all tables simultaneously and can be used in place of conjunctive and disjunctive queries. We also show how to connect a database and a functional programming language by introducing a functorial connection between the schema and the category of types for that language. We begin the paper with a multitude of examples to motivate the definitions, and near the end we provide a dictionary whereby one can translate database concepts into category-theoretic concepts and vice versa.
GoodRelations - W3C Wiki
GoodRelations is a lightweight ontology for exchanging e-commerce information, namely data about products, offers, points of sale, prices, terms and conditions, on the Web. It can be used in all RDF syntaxes (like RDF/XML, Turtle, RDFa, JSON-LD, ...), Microdata, and basically any syntax that supports an Entitity-Attribute-Value pattern.
OWL - Semantic Web Standards
The W3C Web Ontology Language (OWL) is a Semantic Web language designed to represent rich and complex knowledge about things, groups of things, and relations between things. OWL is a computational logic-based language such that knowledge expressed in OWL can be exploited by computer programs, e.g., to verify the consistency of that knowledge or to make implicit knowledge explicit. OWL documents, known as ontologies, can be published in the World Wide Web and may refer to or be referred from other OWL ontologies. OWL is part of the W3C’s Semantic Web technology stack, which includes RDF, RDFS, SPARQL, etc.
4-Clause BSD Explained in Plain English - TLDRLegal
4-Clause BSD summarized/explained in plain English.