Neutral free logic: motivation, proof theory and models
From MaRDI portal
Publication:2698548
DOI10.1007/s10992-022-09679-zOpenAlexW4293216363WikidataQ113900773 ScholiaQ113900773MaRDI QIDQ2698548
Publication date: 24 April 2023
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-022-09679-z
Uses Software
Cites Work
- Tolerant, classical, strict
- Non-classical elegance for sequent calculus enthusiasts
- A sequent calculus for a negative free logic
- Proof analysis in modal logic
- Gentzen calculi for the existence predicate
- A more unified approach to free logics
- First degree entailments
- Strict Fregean free logic
- Proto-semantics for positive free logic
- Handbook of philosophical logic. Vol. 5
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Proof theory of paraconsistent weak Kleene logic
- Free logics are cut-free
- Philosophical problems in logic. Some recent developments
- Free logic and the concept of existence
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
- Partial and paraconsistent three-valued logics
- Proof Analysis
- Cut Elimination in the Presence of Axioms
- First Degree Entailment, Symmetry and Paradox
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Structural proof theory for first-order weak Kleene logics
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
- On notation for ordinal numbers
- The completeness of the first-order functional calculus
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Neutral free logic: motivation, proof theory and models
