Neutral free logic: motivation, proof theory and models
From MaRDI portal
Publication:2698548
DOI10.1007/S10992-022-09679-ZOpenAlexW4293216363WikidataQ113900773 ScholiaQ113900773MaRDI QIDQ2698548FDOQ2698548
Authors: Norbert Gratzl, Edi Pavlović 
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
Recommendations
- Free logics: a survey
- scientific article; zbMATH DE number 883824
- A more unified approach to free logics
- Free logic and the quantified argument calculus
- scientific article; zbMATH DE number 2101973
- Label-free natural deduction systems for intuitionistic and classical modal logics
- Quantifier-free logic for nondeterministic theories
- scientific article; zbMATH DE number 1028821
- scientific article; zbMATH DE number 1749197
- Proofs and countermodels in non-classical logics
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Conservatively extending classical logic with transparent truth
- Cut Elimination in the Presence of Axioms
- Tolerant, classical, strict
- Title not available (Why is that?)
- An introduction to non-classical logic. From if to is
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Multiple conclusions
- The completeness of the first-order functional calculus
- Handbook of philosophical logic. Vol. 5
- Proof Analysis
- On notation for ordinal numbers
- Proof analysis in modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- First degree entailments
- Proof theory of paraconsistent weak Kleene logic
- Title not available (Why is that?)
- Non-classical elegance for sequent calculus enthusiasts
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Strict Fregean free logic
- A sequent calculus for a negative free logic
- Gentzen calculi for the existence predicate
- Off-topic: a new interpretation of weak Kleene logic
- Philosophical problems in logic. Some recent developments
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Proto-semantics for positive free logic
- Free logic and the concept of existence
- Partial and paraconsistent three-valued logics
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- A more unified approach to free logics
- Title not available (Why is that?)
- An epistemic interpretation of paraconsistent weak Kleene logic
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Free logics are cut-free
- Structural proof theory for first-order weak Kleene logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- First degree entailment, symmetry and paradox
Uses Software
This page was built for publication: Neutral free logic: motivation, proof theory and models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2698548)
