Normalisation for negative free logics without and with definite descriptions

DOI10.1017/S1755020324000157MaRDI QIDQ6993383zbMATH OpenFDO

Authors Nils Kürbis

Publication date 25 April 2025

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020324000157

zbMATH Keywords

definite descriptionsnegative free logicnormalisationproof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cites work

• A normalization-procedure for the first order classical natural deduction with full logical symbols
• A novel approach to equality
• An Introduction to Proof Theory
• Core Logic
• Definite descriptions in intuitionist positive free logic
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Free logics are cut-free
• Fregean Description Theory in Proof-Theoretical Setting
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 1028821 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Introduction to mathematical philosophy. 1. Auflage 1919, 2. Auflage 1920.
• Inversion principles and introduction rules
• Logical constants as punctuation marks
• Meaning approached via proofs
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
• Normalization theorems for full first order classical natural deduction
• On the rules of suppositions in formal logic
• Principia Mathematica. Vol. I.
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Sequent Calculi for Normal Modal Propositional Logics
• Structural proof theory. With an appendix by Aarne Ranta
• Subformula and separation properties in natural deduction via small Kripke models
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Untersuchungen über das logische Schliessen. II

Cited in

(1)

• Normalisation for positive free logics without and with definite descriptions

This page was built for publication: Normalisation for negative free logics without and with definite descriptions

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