Výsledky vyhledávání - "Proof-theoretic Semantics"

Akademický článek

Meaning is Use: the Case of Propositional Identity

Publikováno v: Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 275-299 (2024)

We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination

Externí odkaz: https://doaj.org/article/e5961615c41e4d6b98c3f82e40333abc

Zobrazit plný text záznamu

Akademický článek

Fractional-Valued Modal Logic and Soft Bilateralism

Autor: Mario Piazza, Gabriele Pulcini, Matteo Tesi

Publikováno v: Bulletin of the Section of Logic, Vol 52, Iss 3, Pp 275-299 (2023)

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].

Externí odkaz: https://doaj.org/article/014fdb3cc4bb417a97b46b214aae1360

Zobrazit plný text záznamu

Akademický článek

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

Autor: Alexander V. Gheorghiu, David J. Pym

Publikováno v: Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 239-266 (2023)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This s

Externí odkaz: https://doaj.org/article/e5f5ca43b33a4dfeab0075c8ab70d229

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Elektronická kniha

Harmony and Paradox

Autor: Tranchini, Luca

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities)

Externí odkaz: https://library.oapen.org/handle/20.500.12657/90415

Zobrazit plný text záznamu

Elektronická kniha

Peter Schroeder-Heister on Proof-Theoretic Semantics

Autor: Piecha, Thomas, Wehmeier, Kai F.

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder

Externí odkaz: https://library.oapen.org/handle/20.500.12657/88357

Zobrazit plný text záznamu