Proof-theoretic semantics for first-order logic

DOI10.1093/JIGPAL/JZAF062MaRDI QIDQ6922537zbMATH OpenFDO

Authors Alexander V. Gheorghiu

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAF062

zbMATH Keywords

classical logicfirst-order logicinferentialismintuitionistic logicproof-theoretic semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites work

• A logic stronger than intuitionism
• A Proof-Theoretic Approach to Logic Programming
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Advances in proof-theoretic semantics
• Base-extension semantics for intuitionistic sentential logic
• Base-extension semantics for modal logic
• Base-extension semantics for S5 modal logic
• Classical logic without bivalence
• Completeness in Proof-Theoretic Semantics
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
• Failure of completeness in proof-theoretic semantics
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Hypothesis-discharging rules in atomic bases
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• Logic and structure.
• On an inferential semantics for classical logic
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the Concept of Following Logically
• Proof and falsity. A logical investigation
• Proof-theoretic semantics and inquisitive logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Recherches sur la théorie de la démonstration.
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• The Deduction Theorem (Before and After Herbrand)
• The definitional view of atomic systems in proof-theoretic semantics
• Validity concepts in proof-theoretic semantics

Cited in

(1)

• Bilateral base-extension semantics

This page was built for publication: Proof-theoretic semantics for first-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6922537)