Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in...

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

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects,...

accounts of proof-theoretic semantics in the semantics of logic, which associate meaning with the reasoning process. Proof-Theoretic Semantics (Stanford...

ISSN 0304-3975. Mairson, Harry G. (14 September 1992). "A simple proof of a theorem of Statman". Theoretical Computer Science. 103 (2): 387–394. doi:10.1016/0304-3975(92)90020-G...

pragmatics' instead of semantics. Formal semantics Montague grammar Proof-theoretic semantics Dynamic semantics Inquisitive semantics Alfred Tarski Davidson...

known for his work on proof theory and the foundations of natural deduction, and for his contributions to proof-theoretic semantics. Prawitz is a member...

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...

three widely-used approaches to the semantics of Datalog programs: model-theoretic, fixed-point, and proof-theoretic. These three approaches can be proven...

in proof theory, specifically natural deduction and the sequent calculus. His cut-elimination theorem is the cornerstone of proof-theoretic semantics, and...

and an analytic proof is one that only contains the down fragment. Proof-theoretic semantics Bernard Bolzano (1817). Purely analytic proof of the theorem...

The proof-theoretic semantics defines the meaning of a Datalog program to be the set of facts with corresponding proof trees. Intuitively, a proof tree...

sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved...

consequence. proof-theoretic semantics An alternative to truth-condition semantics (also known as model-theoretic semantics), focusing on proof rather than on...

idea of 'meaning-is-use' which, even if based on proofs, it is different from proof-theoretic semantics as in the Dummett–Prawitz tradition since it takes...

something that exists. Game semantics Kripke semantics Proof-theoretic semantics Quasi-quotation Truth-conditional semantics Marcus, Ruth Barcan (1962)...

closely related to, and often crosses over with, the semantics of mathematical proofs. Semantics describes the processes a computer follows when executing...

deductive system for L {\displaystyle {\mathcal {L}}} or by formal intended semantics for language L {\displaystyle {\mathcal {L}}} . The Polish logician Alfred...

editors, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30...

formal basis for L. E. J. Brouwer's programme of intuitionism. From a proof-theoretic perspective, Heyting’s calculus is a restriction of classical logic...

logic: Categorical semantics Categorical logic introduces the notion of structure valued in a category C with the classical model theoretic notion of a structure...

logic Proof net Affine logic Strict logic Relevant logic Proof-theoretic semantics Ludics System F Gerhard Gentzen Gentzen's consistency proof Reverse...

accessible possible world. A variety of proof systems exist which are sound and complete with respect to the semantics one gets by restricting the accessibility...

system is sound and complete with respect to the restricted semantics. Unlike some proof-theoretic formalizations that suffered from well-known paradoxes and...

computation, automata theory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational...

Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical...

called "sentential functions"), and a model-theoretic approach to semantics (as opposed to a proof-theoretic one). Finally, some links were forged to the...

Ruy J.G.B. (2008), "On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics", Studia Logica, 90 (2): 211–247, doi:10.1007/s11225-008-9150-5...

has category-theoretic and truth-functional semantics, which can be understood in terms of an abstract concept of resource, and a proof theory in which...

subformula property, an important property in several approaches to proof-theoretic semantics. Cut elimination is one of the most powerful tools for proving...