Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Formal semantics (natural language) (view), Scope (formal semantics) (view), Formal Semantics in Moscow (view)

searching for Formal semantics 331 found (800 total)

alternate case: formal semantics

Semantics (computer science) (1,671 words) [view diff] exact match in snippet view article

interpretation.[citation needed] Computational semantics Formal semantics (logic) Formal semantics (linguistics) Ontology Ontology (information science)

Object-oriented programming (7,159 words) [view diff] no match in snippet view article find links to article

Object-oriented programming (OOP) is a programming paradigm based on the concept of objects. Objects can contain data (called fields, attributes or properties)

Formal system (1,514 words) [view diff] exact match in snippet view article find links to article

logic. The two main types of deductive systems are proof systems and formal semantics. Formal proofs are sequences of well-formed formulas (or WFF for short)

Programming language theory (1,613 words) [view diff] exact match in snippet view article find links to article

including computability theory, category theory, and set theory. Formal semantics is the formal specification of the behaviour of computer programs and

Rosetta-lang (991 words) [view diff] exact match in snippet view article find links to article

system representation and specification composability Well-defined formal semantics and support for formal analysis Scalability to large designs Rosetta

Linguistics and Philosophy (227 words) [view diff] exact match in snippet view article find links to article

and structure in natural language. It is one of top four journals in formal semantics, alongside Natural Language Semantics, the Journal of Semantics, and

Algebraic semantics (mathematical logic) (202 words) [view diff] exact match in snippet view article

In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic. For example, the modal logic S4

Object model (602 words) [view diff] exact match in snippet view article find links to article

extensive literature on formalized object models as a subset of the formal semantics of programming languages. A collection of objects or classes through

Journal of Semantics (118 words) [view diff] exact match in snippet view article find links to article

subscription via Oxford Journals. It is one of top four journals in formal semantics, alongside Natural Language Semantics, Linguistics and Philosophy,

Denotational semantics (3,784 words) [view diff] exact match in snippet view article find links to article

meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational

ML (programming language) (1,461 words) [view diff] exact match in snippet view article

of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used

Programming language specification (1,729 words) [view diff] exact match in snippet view article find links to article

reap many benefits. For example: Formal semantics enable mathematical proofs of program correctness; Formal semantics facilitate the design of type systems

Abductive logic programming (2,524 words) [view diff] exact match in snippet view article find links to article

programming to solve problems using a generate and test methodology. The formal semantics of the central notion of an abductive explanation in ALP can be defined

Web Ontology Language (4,300 words) [view diff] exact match in snippet view article find links to article

such as corporate databases. The OWL languages are characterized by formal semantics. They are built upon the World Wide Web Consortium's (W3C) standard

Formal grammar (3,450 words) [view diff] exact match in snippet view article find links to article

are found in theoretical computer science, theoretical linguistics, formal semantics, mathematical logic, and other areas. A formal grammar is a set of

Tarski's undefinability theorem (2,271 words) [view diff] exact match in snippet view article find links to article

result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that "arithmetical truth cannot be

LOOM (ontology) (472 words) [view diff] exact match in snippet view article

KL-ONE, Loom has a formal semantics that maps declarations in Loom to statements in set theory and first-order logic. This formal semantics enables a type

Program transformation (473 words) [view diff] exact match in snippet view article find links to article

semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically

James Garson (147 words) [view diff] exact match in snippet view article find links to article

has made significant contributions in the study of modal logic and formal semantics. He is author of Modal Logic for Philosophers and What Logics Mean

Hennessy–Milner logic (647 words) [view diff] no match in snippet view article find links to article

In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure similar

Stanisław Jaśkowski (719 words) [view diff] exact match in snippet view article find links to article

Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw

Operational semantics (2,565 words) [view diff] exact match in snippet view article find links to article

results of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational

Formation rule (442 words) [view diff] exact match in snippet view article find links to article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Pregroup grammar (1,889 words) [view diff] exact match in snippet view article find links to article

fragment of) the tensor mathematics of quantum mechanics. The purely formal semantics for PG consists of a logical language defined according to the following

Formal verification (1,907 words) [view diff] exact match in snippet view article find links to article

addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational

Web Rule Language (38 words) [view diff] exact match in snippet view article find links to article

ontology language for the Semantic Web. The language is characterized by formal semantics. OWL RDF XML Web Rule Language (WRL) - W3C Member Submission 09 September

Baby Modula-3 (413 words) [view diff] exact match in snippet view article find links to article

example of pure object-oriented language which would allow studying the formal semantics of objects. "Baby Modula-3 is defined with a structured operational

Game semantics (2,857 words) [view diff] exact match in snippet view article find links to article

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 a

Observational equivalence (392 words) [view diff] exact match in snippet view article find links to article

and the objective function may not display a unique minimum." In the formal semantics of programming languages, two terms M and N are observationally equivalent

Atomic formula (523 words) [view diff] exact match in snippet view article find links to article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Axiomatic semantics (144 words) [view diff] exact match in snippet view article find links to article

language Operational semantics — in terms of the state of the computation Formal semantics of programming languages — overview Predicate transformer semantics

YAWL (741 words) [view diff] exact match in snippet view article find links to article

formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets. The fact that YAWL is based on formal semantics has

Symbol (formal) (494 words) [view diff] exact match in snippet view article

sometimes they may be associated with an interpretation or model (a formal semantics). The move to view units in natural language (e.g. English) as formal

Formal proof (579 words) [view diff] exact match in snippet view article find links to article

sentences of a formal system. The study of interpretations is called formal semantics. Giving an interpretation is synonymous with constructing a model.

Cliff Jones (computer scientist) (664 words) [view diff] exact match in snippet view article

Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying

Stone duality (2,289 words) [view diff] exact match in snippet view article find links to article

and are exploited in theoretical computer science for the study of formal semantics. This article gives pointers to special cases of Stone duality and

Neighborhood semantics (357 words) [view diff] exact match in snippet view article find links to article

Neighborhood semantics, also known as Scott–Montague semantics, is a formal semantics for modal logics. It is a generalization, developed independently by

Knaster–Tarski theorem (2,426 words) [view diff] exact match in snippet view article find links to article

the power set lattice. The theorem has important applications in formal semantics of programming languages and abstract interpretation, as well as in

Ground expression (656 words) [view diff] exact match in snippet view article find links to article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Communicating sequential processes (5,757 words) [view diff] exact match in snippet view article find links to article

piping, and indexed choices. CSP has been imbued with several different formal semantics, which define the meaning of syntactically correct CSP expressions

Transparent intensional logic (333 words) [view diff] exact match in snippet view article find links to article

lambda calculus. TIL applications cover a wide range of topics from formal semantics, philosophy of language, epistemic logic, philosophical, and formal

Andrea Bonomi (philosopher) (555 words) [view diff] exact match in snippet view article

language. His major contributions have been concentrated in the area of formal semantics, especially in the field of the logic of epistemic, modal and temporal

Angelika Kratzer (451 words) [view diff] case mismatch in snippet view article find links to article

category of modality". In Portner, Paul H.; Partee, Barbara H. (eds.). Formal Semantics: The Essential Readings. John Wiley & Sons. pp. 289–393. ISBN 978-0-470-75818-2

Kripke semantics (4,818 words) [view diff] exact match in snippet view article find links to article

semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early

Set theory (6,575 words) [view diff] exact match in snippet view article find links to article

science (such as in the theory of relational algebra), philosophy, formal semantics, and evolutionary dynamics. Its foundational appeal, together with

Craige Roberts (773 words) [view diff] exact match in snippet view article find links to article

1949) is an American linguist, known for her work on pragmatics and formal semantics. Roberts earned her A.B. at Indiana University in 1979. She received

TXL (programming language) (461 words) [view diff] exact match in snippet view article

programming at the higher level and term rewriting at the lower level. The formal semantics and implementation of TXL are based on formal term rewriting, but the

Alphabet (formal languages) (842 words) [view diff] exact match in snippet view article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Invariant-based programming (266 words) [view diff] exact match in snippet view article find links to article

invariants can be used to prove the correctness of the program based on the formal semantics of program statements. A combined programming and specification language

Non-logical symbol (783 words) [view diff] exact match in snippet view article find links to article

symbol <. Structures over a signature, also known as models, provide formal semantics to a signature and the first-order language over it. A structure over

Abstract data type (4,305 words) [view diff] exact match in snippet view article find links to article

Boolean "in" or "not in". ADTs are a theoretical concept, used in formal semantics and program verification and, less strictly, in the design and analysis

Strength (mathematical logic) (83 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

CTL* (1,570 words) [view diff] exact match in snippet view article find links to article

temporal operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure

Truth-value semantics (632 words) [view diff] exact match in snippet view article find links to article

In formal semantics, truth-value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc

Abstract logic (143 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Non-standard model (105 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Irene Heim (553 words) [view diff] exact match in snippet view article find links to article

noun phrases is considered a classic text and a major milestone in formal semantics. In the second chapter of the work she argued (developing an insight

Elementary diagram (182 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Iteratee (1,246 words) [view diff] no match in snippet view article find links to article

In functional programming, an iteratee is a composable abstraction for incrementally processing sequentially presented chunks of input data in a purely

Steve Reeves (computer scientist) (380 words) [view diff] exact match in snippet view article

logics for specification. With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail, in relation to the international ISO standard

Monotone (197 words) [view diff] exact match in snippet view article find links to article

Monotones, 1950s American rock and roll band Quantifier monotonicity, in formal semantics "Monotone" (song), a song by Yoasobi for 2024 animated film Fureru

List of formal systems (284 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Hereditary set (279 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Programming language (7,415 words) [view diff] exact match in snippet view article find links to article

used in practice. A significant amount of academic research goes into formal semantics of programming languages, which allows execution semantics to be specified

Diagram (mathematical logic) (314 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Felicity (191 words) [view diff] exact match in snippet view article find links to article

people and fictional characters Felicity (pragmatics), a term used in formal semantics and pragmatics Felicity Party, an Islamist Turkish political party

Jolie (programming language) (535 words) [view diff] exact match in snippet view article

Linux-based operating systems, OS X, and Windows. The language comes with formal semantics, meaning that the execution of Jolie programs is mathematically defined

Jolie (programming language) (535 words) [view diff] exact match in snippet view article

Linux-based operating systems, OS X, and Windows. The language comes with formal semantics, meaning that the execution of Jolie programs is mathematically defined

List of philosophers of language (362 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

English conditional sentences (3,803 words) [view diff] exact match in snippet view article find links to article

conditionals. Conditionals are one of the most widely studied phenomena in formal semantics, and have also been discussed widely in philosophy of language, computer

Theory of language (3,853 words) [view diff] exact match in snippet view article find links to article

arguments of the transitive predicate. A similar solution is found in formal semantics. Many modern philosophers continue to consider language as a logically

Truth predicate (230 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Grigore Roșu (1,229 words) [view diff] exact match in snippet view article find links to article

framework, providing an intuitive and modular approach to defining formal semantics for programming languages. He founded Runtime Verification, Inc. in

Reo Coordination Language (1,647 words) [view diff] exact match in snippet view article find links to article

represents the data-flow among the processes in the system. Reo has formal semantics, which stand at the basis of its various formal verification techniques

Well-formed formula (2,164 words) [view diff] exact match in snippet view article find links to article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Max Cresswell (470 words) [view diff] exact match in snippet view article find links to article

Cresswell's research deals with the philosophy of logic, modal logic and formal semantics. He has also published on ancient Greek philosophy, on the logic of

Mediated reference theory (256 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Propositional variable (445 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Lemma (mathematics) (399 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Classical logic (841 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Computable set (500 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Quantifier rank (516 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Extensionality (618 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Symbiosism (667 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Index of philosophy of language articles (633 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Triune continuum paradigm (1,134 words) [view diff] exact match in snippet view article find links to article

syntax for RM-ODP in a language called Alloy that uses a set theoretic formal semantics. UML The paradigm was applied to define a formal metamodel for UML

Independence (mathematical logic) (519 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Predicate variable (560 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Contrastivism (298 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Abstract state machine (1,163 words) [view diff] exact match in snippet view article find links to article

semantics of C♯" doi:10.1016/j.tcs.2004.11.008 ITU-T for SDL-2000: formal semantics of SDL-2000 and Formal Definition of SDL-2000 - Compiling and Running

Entity (477 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Model complete theory (557 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Cratylism (259 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Axiom schema (470 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Map (mathematics) (708 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Truth value (863 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Equiconsistency (732 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

T-schema (584 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Predicate (logic) (421 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Logical constant (289 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Timeline of mathematical logic (948 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Uninterpreted function (410 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Recursion (3,677 words) [view diff] case mismatch in snippet view article find links to article

Language. Reprinted in Paul Portner and Barbara Partee, eds. 2002. Formal Semantics: The Essential Readings. Blackwell. Nederhof, Mark-Jan; Satta, Giorgio

Data preprocessing (1,809 words) [view diff] exact match in snippet view article find links to article

mining that specifically seeks to incorporate domain knowledge, such as formal semantics, into the data mining process. Domain knowledge is the knowledge of

Argument (linguistics) (2,576 words) [view diff] exact match in snippet view article

Modern theories of semantics include formal semantics, lexical semantics, and computational semantics. Formal semantics focuses on truth conditioning. Lexical

Axiom of global choice (458 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Urelement (995 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Theological noncognitivism (598 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Free logic (973 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Control logic (185 words) [view diff] case mismatch in snippet view article find links to article

named “TIC”. Smith, S.E. "What Is Control Logic?". Tiwari, A. (2002). "Formal Semantics and Analysis Methods for Simulink Stateflow Models" (PDF). Hamon, G

Element (mathematics) (846 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Logical equivalence (751 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Richard Montague (616 words) [view diff] exact match in snippet view article find links to article

(axiomatic set theory, model theory), philosophical logic, philosophy of mathematics, philosophy of language Notable ideas Formal semantics, Montague grammar

Infinite set (917 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Conventionalism (1,117 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Interpretation (philosophy) (413 words) [view diff] exact match in snippet view article

The general study of interpretations of formal languages is called formal semantics. Religious interpretation and similarly religious self-interpretation

Sentence (mathematical logic) (461 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Reduct (264 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Uniqueness quantification (848 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Sign (1,589 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Uncountable set (884 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Semantic theory of truth (1,050 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

General set theory (1,235 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Elementary function arithmetic (875 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Self-verifying theories (419 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Monadic predicate calculus (698 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Domain of a function (962 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Transfinite induction (1,142 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Soundness (1,098 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Substructure (mathematics) (754 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Spectrum of a theory (1,132 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Spectrum of a sentence (1,365 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Saturated model (1,095 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Higher-order logic (1,066 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Gustav Bergmann (450 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Scott Soames (839 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Decision problem (1,246 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Signature (logic) (1,339 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Arity (1,464 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Class (philosophy) (340 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Metalogic (1,402 words) [view diff] exact match in snippet view article find links to article

sentences of the formal system. The study of interpretations is called Formal semantics. Giving an interpretation is synonymous with constructing a model.

Transitive set (1,222 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Outline of computer science (1,036 words) [view diff] exact match in snippet view article find links to article

Programming language theory - Theory of programming language design Formal semantics – rigorous mathematical study of the meaning of programs. Type theory

Codomain (1,051 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Martin's axiom (806 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Monadic second-order logic (1,308 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Tarski–Grothendieck set theory (1,135 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Sentence (linguistics) (1,447 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Open formula (394 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Cantor's paradox (734 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Use–mention distinction (1,003 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Logical equality (614 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Stephen Yablo (881 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

John C. Reynolds (614 words) [view diff] exact match in snippet view article find links to article

design and associated specification languages, especially concerning formal semantics. He invented the polymorphic lambda calculus (System F) and formulated

Mathematical structure (651 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

John Hawthorne (575 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Existential quantification (1,535 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Universal set (1,327 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Extension by new constant and function names (425 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Elementary equivalence (956 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Axiom of adjunction (480 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Language game (philosophy) (1,256 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Stative verb (1,074 words) [view diff] exact match in snippet view article find links to article

(eíkosi étē ebasíleusa 'I ruled for twenty years'). In some theories of formal semantics, including David Dowty's, stative verbs have a logical form that is

Binary operation (1,546 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Inhabited set (1,358 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Static program analysis (1,924 words) [view diff] exact match in snippet view article find links to article

automated remediations for C# cccheck. Code audit Documentation generator Formal semantics of programming languages Formal verification FX-87 ISO 26262 ISO 9126

Completeness (logic) (771 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Jaakko Hintikka (934 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Abstract model theory (169 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Computer science (6,712 words) [view diff] exact match in snippet view article find links to article

instructions for computer programs as mathematical sentences and interpret formal semantics for programming languages as mathematical axiomatic systems. A number

Tuple relational calculus (2,303 words) [view diff] exact match in snippet view article find links to article

value is "Codd" Book(t) — tuple t is present in relation Book. The formal semantics of such atoms is defined given a database db over S and a tuple variable

Categorical theory (1,157 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Frame (artificial intelligence) (3,608 words) [view diff] exact match in snippet view article

more difficult to initially specify the model in a language with a formal semantics. This evolution also illustrates a classic divide in AI research known

Enumeration (1,633 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Direct reference theory (874 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Idiom (2,688 words) [view diff] exact match in snippet view article find links to article

1515/cog-2012-0006. Portner, P. 2005. What is meaning?: Fundamentals of formal semantics. Malden, MA: Blackwell Publishing. Radford, A. English syntax: An introduction

Relevance (1,725 words) [view diff] exact match in snippet view article find links to article

Intuitionistic logic – Various systems of symbolic logic Kripke semantics – Formal semantics for non-classical logic systems Relevance theory – Theory of cognitive

Stephen Neale (855 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Range of a function (835 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Functional predicate (1,252 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Infinite-valued logic (1,480 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Primitive recursive arithmetic (1,369 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Non-normal modal logic (1,224 words) [view diff] exact match in snippet view article find links to article

modal logic K is obtained. Whilst Kripke semantics is the most common formal semantics for normal modal logics (e.g., logic K), non-normal modal logics are

Argument of a function (436 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Intersection (set theory) (1,732 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Finite-valued logic (1,322 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Class (set theory) (1,279 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Extension by definition (1,504 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Personal knowledge base (1,395 words) [view diff] exact match in snippet view article find links to article

sources, or composite); and their schema, which involves the level of formal semantics introduced into the data model (such as a type system and related schemas

Propositional calculus (11,441 words) [view diff] exact match in snippet view article find links to article

encyclopedia" evaluates to False. In other respects, the following formal semantics can apply to the language of any propositional logic, but the assumptions

Syntax and semantics of logic programming (2,189 words) [view diff] exact match in snippet view article find links to article

or extra-logical features such as a foreign function interface. The formal semantics of such extensions are beyond the scope of this article. Datalog is

Sentence clause structure (1,913 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Formal epistemology (1,183 words) [view diff] exact match in snippet view article find links to article

probability, mathematical logic) Anthony Gillies (belief revision, formal semantics) Joseph Halpern (reasoning about knowledge and uncertainty) Sven Ove

WAV (2,525 words) [view diff] exact match in snippet view article find links to article

<wave-data> does use the LIST chunk as a sequence container with good formal semantics. The WAV specification supports, and most WAV files use, a single contiguous

Computably enumerable set (1,318 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Expressivism (1,517 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Construction and Analysis of Distributed Processes (2,762 words) [view diff] exact match in snippet view article find links to article

has formal semantics (to avoid any as language ambiguities that could lead to interpretation divergences between designers and implementors). Formal semantics

First-order logic (12,931 words) [view diff] exact match in snippet view article find links to article

language. The study of the interpretations of formal languages is called formal semantics. What follows is a description of the standard or Tarskian semantics

C-minimal theory (421 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Kripke–Platek set theory (1,586 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Logical conjunction (1,465 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Decidability (logic) (1,887 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

AgentSpeak (492 words) [view diff] case mismatch in snippet view article find links to article

Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming

Revision theory (6,640 words) [view diff] exact match in snippet view article find links to article

a G as being blue and to the left of a G. Revision theory provides formal semantics for defined expressions, and formal proof systems study the logic of

Complement (set theory) (1,515 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Java Modeling Language (954 words) [view diff] exact match in snippet view article find links to article

Larch and the Refinement Calculus, with the goal of providing rigorous formal semantics while still being accessible to any Java programmer. Various tools

Łoś–Vaught test (233 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Achille Varzi (philosopher) (397 words) [view diff] exact match in snippet view article

philosophical logic (mainly vagueness, supervaluationism, paraconsistency, formal semantics) and metaphysics (mainly mereology and mereotopology, causation, events

Subset (1,734 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Metalanguage (1,426 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Empty set (2,229 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

List of mathematical proofs (593 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Outline of computer programming (981 words) [view diff] exact match in snippet view article find links to article

languages Programming language dialect Programming language theory Formal semantics of programming languages Assembly language Macro Domain-specific language

Grothendieck universe (1,342 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Proof-theoretic semantics (350 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Axiomatic system (1,776 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Axiom of constructibility (1,064 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Undecidable problem (1,921 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Metavariable (329 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Atomic model (mathematical logic) (344 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Cant (language) (2,355 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Supposition theory (1,719 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Union (set theory) (1,989 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Large cardinal (1,337 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Robinson arithmetic (1,839 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Prime model (508 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Atomic sentence (1,196 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Conservative extension (858 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Injective function (2,558 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

William H. Baxter (1,415 words) [view diff] exact match in snippet view article find links to article

Bulletin of the School of Oriental and African Studies 48.170–171. (1984) Formal semantics of a fragment of Chinese. Journal of the Chinese Language Teachers

Department of Computer Science and Technology, University of Cambridge (1,461 words) [view diff] exact match in snippet view article find links to article

focused on virtualisation, security, usability, formal verification, formal semantics of programming languages, computer architecture, natural language processing

Scott information system (700 words) [view diff] case mismatch in snippet view article find links to article

approximable mappings. Scott domain Domain theory Glynn Winskel: "The Formal Semantics of Programming Languages: An Introduction", MIT Press, 1993 (chapter

Production (computer science) (724 words) [view diff] exact match in snippet view article

series on Formal languages Key concepts Formal system Alphabet Syntax Formal semantics Semantics (programming languages) Formal grammar Formation rule Well-formed

Zhuang Zhou (1,382 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Power set (2,479 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

List of statements independent of ZFC (2,182 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Finitary relation (1,905 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Institutional model theory (358 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Multimedia Web Ontology Language (1,082 words) [view diff] exact match in snippet view article find links to article

properties with the domain concepts. Formal semantics to the media properties to enable reasoning. Formal semantics for spatio-temporal relations across

Elementary proof (623 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Theory (mathematical logic) (1,695 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Beth definability (315 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Proof without words (931 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Compactness theorem (1,947 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Richard's paradox (1,800 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Property (philosophy) (2,305 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Stratification (mathematics) (820 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Finite set (2,013 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Gödel numbering (1,536 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Family of sets (1,533 words) [view diff] exact match in snippet view article find links to article

sets Generalized quantifier – Expression denoting a set of sets in formal semantics Indexed family – Collection of objects, each associated with an element

Surjective function (2,184 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Dialetheism (1,504 words) [view diff] exact match in snippet view article find links to article

of expressibility, in a number of philosophical contexts other than formal semantics. In classical logics, taking a contradiction p ∧ ¬ p {\displaystyle

Von Neumann cardinal assignment (651 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Proof theory (2,666 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Non-standard model of arithmetic (1,292 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Aczel's anti-foundation axiom (273 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Lauri Karttunen (835 words) [view diff] case mismatch in snippet view article find links to article

the Proceedings of Coling'69. Syntax and Semantics of Questions. In Formal Semantics. The Essential Readings. Paul Portner and Barbara H. Partee (eds.)

Behavior tree (5,218 words) [view diff] exact match in snippet view article find links to article

of the original requirements. Since the behavior tree notation uses formal semantics, it can be made into an executable for any given example. Both single

Non-cognitivism (2,011 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Hilbert's axioms (2,313 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Quietism (philosophy) (2,474 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Type (model theory) (2,253 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Positivism dispute (1,519 words) [view diff] exact match in snippet view article find links to article

conditions of objectivity." The Vienna Circle instead wished to design a "formal semantics of declarative assertions" that could "be [universally] said to anyone

Michael W. Shields (632 words) [view diff] case mismatch in snippet view article find links to article

38, 56, 66. ISBN 9783540760597. Reid, F. X. (March 2006). "On the Formal Semantics of the COMEFROM Statement" (PDF). FACS FACTS. No. 2006–1. BCS-FACS

BCS-FACS (1,026 words) [view diff] case mismatch in snippet view article find links to article

BCS. Retrieved 25 January 2021. Reid, F. X. (March 2006). "On the Formal Semantics of the COMEFROM Statement" (PDF). FACS FACTS. No. 2006–1. BCS-FACS

Formal Aspects of Computing (546 words) [view diff] exact match in snippet view article find links to article

tools and theorem proving. State-exploration tools and model checking. Formal semantics for widely used notations and methods. Formal approaches to requirements

Universal quantification (2,503 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Aleph number (2,453 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Transformational grammar (1,899 words) [view diff] case mismatch in snippet view article find links to article

(Second ed.). Academic Press. Chapter 2,Chapter3. Partee, Barbara (2011). "Formal Semantics: Origins, Issues, Early Impact". The Baltic International Yearbook

Apartness relation (646 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Data type (3,407 words) [view diff] exact match in snippet view article find links to article

implemented using either a list or an array. Abstract data types are used in formal semantics and program verification and, less strictly, in design. The main non-composite

Mathematical object (2,770 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

State diagram (1,958 words) [view diff] case mismatch in snippet view article find links to article

Computer Programming, 8(3):231–274, June 1987. Tiwari, A. (2002). Formal Semantics and Analysis Methods for Simulink Stateflow. Harel, D. (1987). A Visual

Satisfiability (1,500 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Oz (programming language) (1,837 words) [view diff] exact match in snippet view article

constraint, distributed, and concurrent programming. Oz has both a simple formal semantics (see chapter 13 of the book mentioned below) and an efficient implementation

Alice ter Meulen (730 words) [view diff] exact match in snippet view article find links to article

dissertation, Substances, quantities and individuals: A study in the formal semantics of mass terms, was jointly supervised by mathematical logician Jon

Causal theory of reference (1,870 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Gödel's completeness theorem (2,330 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Chip timing (1,256 words) [view diff] exact match in snippet view article find links to article

Jr., Mernik, M., Fister, I., Hrnčič, D. Implementation of EasyTime formal semantics using a LISA compiler generator, Comput. Sci. Inf. Syst., vol. 9, no

Weakly o-minimal structure (508 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Mostowski collapse lemma (591 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Thieves' cant (1,532 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Hilbert's second problem (1,500 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Free variables and bound variables (2,273 words) [view diff] exact match in snippet view article find links to article

function P applied over the (possibly infinite) set S. When analyzed in formal semantics, natural languages can be seen to have free and bound variables. In

Proof by exhaustion (940 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Back-and-forth method (688 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Universe (mathematics) (2,649 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Richardson's theorem (701 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Saul Kripke (6,542 words) [view diff] exact match in snippet view article find links to article

semantics or frame semantics) for modal logics. Kripke semantics is a formal semantics for non-classical logic systems. It was first made for modal logics

Paradoxes of set theory (2,657 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Comma-separated values (4,027 words) [view diff] exact match in snippet view article find links to article

using position indexes. In 2015 W3C, in an attempt to enhance CSV with formal semantics, publicized the first drafts of recommendations for CSV metadata standards

Meaning (philosophy) (6,511 words) [view diff] exact match in snippet view article

thinking. A semantic theory of truth was produced by Alfred Tarski for formal semantics. According to Tarski's account, meaning consists of a recursive set

O-minimal theory (1,294 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Blackboard bold (2,049 words) [view diff] exact match in snippet view article find links to article

represents the motor group of rigid motions. In functional programming and formal semantics, denotes the type constructor for a monad. N {\displaystyle \mathbb

Gilbert Ryle (2,266 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Supertask (2,385 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

PLEX (programming language) (354 words) [view diff] case mismatch in snippet view article

ISBN 9781595937667. S2CID 555765. Johan Erikson and Björn Lisper. "A Formal Semantics for PLEX" (PDF). Mälardalen University. Retrieved 2009-03-07. Hague

Setoid (532 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Well-founded relation (1,378 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

CIDOC Conceptual Reference Model (992 words) [view diff] exact match in snippet view article find links to article

as that published by museums, libraries and archives. By adopting formal semantics for the CIDOC CRM, the pre-conditions for machine-to-machine interoperability

Aaron Cicourel (550 words) [view diff] exact match in snippet view article find links to article

Contexts: Examples from Medical Encounters. Social Psychology Quarterly. Formal semantics, pragmatics, and situated meaning. In Pragmatics at Issue, Vol. 1,

Bijection (2,508 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Algebraic logic (2,224 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Allan M. Ramsay (433 words) [view diff] exact match in snippet view article find links to article

intelligence Morphology (linguistics) Natural language processing Formal semantics (linguistics) Institutions University of Manchester UMIST University

Boolean function (2,887 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Structuralism (3,973 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Amalgamation property (817 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

NP (complexity) (2,784 words) [view diff] exact match in snippet view article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Von Neumann universe (2,811 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Abstraction (computer science) (3,944 words) [view diff] exact match in snippet view article

distinct from abstraction in domain or legacy analysis. When discussing formal semantics of programming languages, formal methods or abstract interpretation

Entscheidungsproblem (2,642 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Pyrrhonism (3,538 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Amy Rose Deal (395 words) [view diff] exact match in snippet view article find links to article

Linguistics and Philosophy, founded in 1977, was the preeminent journal for formal semantics, a new journal conceived and edited by Irene Heim and Angelika Kratzer

Michael Spivey (228 words) [view diff] case mismatch in snippet view article find links to article

Oberon-2 compiler. Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge Tracts in Theoretical Computer

Formal methods (3,642 words) [view diff] exact match in snippet view article find links to article

included in a subsequent paper." However, no paper describing the formal semantics was ever released. Program synthesis is the process of automatically

Diagonal intersection (386 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Donald Davidson (philosopher) (2,864 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Model-theoretic grammar (526 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Widening (computer science) (496 words) [view diff] exact match in snippet view article

can be understood in terms of machine states and transitions (see formal semantics of programming languages), their state spaces may be too large to fully

Unreal Engine (4,090 words) [view diff] exact match in snippet view article find links to article

engineer Verse out of tim's head and get it set down in a kind of formal semantics that everybody else can make make sense of. "Beyond Functional Programming:

Security protocol notation (440 words) [view diff] case mismatch in snippet view article find links to article

choreographic programming. Briais, Sébastien; Nestmann, Uwe (2005). "A Formal Semantics for Protocol Narrations" (PDF). Trustworthy Global Computing. Lecture

Index of language articles (214 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Ordered pair (3,697 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Language and Communication Technologies (742 words) [view diff] exact match in snippet view article find links to article

LCT include: Machine translation Information retrieval Ontologies Formal semantics Information and knowledge representation Question answering Speech

Cardinal number (3,833 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Ultraproduct (3,108 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Mental representation (3,421 words) [view diff] exact match in snippet view article find links to article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Square of opposition (3,161 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Semantic Analysis (book) (138 words) [view diff] exact match in snippet view article

Philosophical logic Linguistics Pragmatics Rhetoric Scholasticism School of Names Semantics Formal semantics Semiotics Category Task Force Discussion

Inaccessible cardinal (2,405 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence

Computable function (3,362 words) [view diff] exact match in snippet view article find links to article

logic General Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence