A more unified approach to free logics

DOI10.1007/s10992-020-09564-7OpenAlexW3049148892MaRDI QIDQ830379

Edi Pavlović, Norbert Gratzl

Publication date: 7 May 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09564-7

zbMATH Keywords

modal logicsequent calculusnegative free logicG3positive free logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (5)

Tableaux for free logics with descriptions ⋮ ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ Neutral free logic: motivation, proof theory and models ⋮ Free logics are cut-free

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sequent calculus for a negative free logic
• A fully logical inductive logic
• Proof analysis in modal logic
• Proto-semantics for positive free logic
• Handbook of philosophical logic. Vol. 5
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Free logic and the concept of existence
• Proof Analysis
• Cut Elimination in the Presence of Axioms
• Proof theory for quantified monotone modal logics
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
• Quantification theory and empty individual-domains
• Quantification and the empty domain

This page was built for publication: A more unified approach to free logics