A more unified approach to free logics
type: Item
instance of: scholarly article
title: A more unified approach to free logics
author: Edi Pavlović
author: Norbert Gratzl
published in: Journal of Philosophical Logic
publication date: 2021-05-07T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7345779
zbMATH Keywords: positive free logic
zbMATH Keywords: negative free logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: G3
zbMATH Keywords: modal logic
describes a project that uses: Pesca
MaRDI profile type: MaRDI publication profile
full work available at URL: s10992-020-09564-7
OpenAlex ID: W3049148892
cites work: Proto-semantics for positive free logic
cites work: Handbook of philosophical logic. Vol. 5
cites work: A sequent calculus for a negative free logic
cites work: Quantification theory and empty individual-domains
cites work: Free logic and the concept of existence
cites work: Q4532198
cites work: HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
cites work: Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
cites work: Proof analysis in modal logic
cites work: Proof theory for quantified monotone modal logics
cites work: Cut Elimination in the Presence of Axioms
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: A fully logical inductive logic
cites work: PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
cites work: Quantification and the empty domain
cites work: Q4499084
DOI: 10.1007/S10992-020-09564-7
description: scientific article; zbMATH DE number 7345779