Neutral free logic: motivation, proof theory and models
From MaRDI portal
Publication:2698548
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
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 3484001 (Why is no real title available?)
- scientific article; zbMATH DE number 560935 (Why is no real title available?)
- scientific article; zbMATH DE number 1749197 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A more unified approach to free logics
- A sequent calculus for a negative free logic
- An epistemic interpretation of paraconsistent weak Kleene logic
- An introduction to non-classical logic. From if to is
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Conservatively extending classical logic with transparent truth
- Cut Elimination in the Presence of Axioms
- First degree entailment, symmetry and paradox
- First degree entailments
- Free logic and the concept of existence
- Free logics are cut-free
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- Gentzen calculi for the existence predicate
- Handbook of philosophical logic. Vol. 5
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- Multiple conclusions
- Non-classical elegance for sequent calculus enthusiasts
- Off-topic: a new interpretation of weak Kleene logic
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On notation for ordinal numbers
- Partial and paraconsistent three-valued logics
- Philosophical problems in logic. Some recent developments
- Proof Analysis
- Proof analysis in modal logic
- Proof theory of paraconsistent weak Kleene logic
- Proto-semantics for positive free logic
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Strict Fregean free logic
- Structural proof theory for first-order weak Kleene logics
- Structural proof theory. With an appendix by Aarne Ranta
- The completeness of the first-order functional calculus
- Tolerant, classical, strict
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)
