Normalisation for some quite interesting many-valued logics
From MaRDI portal
Recommendations
Cites work
- 40 years of FDE: an introductory overview
- A calculus of antinomics
- A propositional calculus for inconsistent deductive systems
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Calculi for many-valued logics
- Completeness via correspondence for extensions of the logic of paradox
- Constructible falsity
- Constructible falsity and inexact predicates
- Correspondence analysis and automated proof-searching for first degree entailment
- Finitely many-valued logics and natural deduction
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Generalized correspondence analysis for three-valued logics
- GP's LP
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 446843 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 3784842 (Why is no real title available?)
- scientific article; zbMATH DE number 16516 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- scientific article; zbMATH DE number 3077773 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logic of antinomies
- Natural 3-valued logics—characterization and proof theory
- On an implication connective of RM
- On interpretation of inconsistent theories
- On notation for ordinal numbers
- Partiality and its dual
- Peirce's rule in natural deduction.
- Proof and falsity. A logical investigation
- Proof of axiomatizability of full many-valued systems of calculus of propositions
- Some remarks on three-valued logic of J. Lukasiewicz
- The Blackwell guide to philosophical logic
- The logic of paradox
Cited in
(16)- Normality operators and classical recapture in many-valued logic
- scientific article; zbMATH DE number 408804 (Why is no real title available?)
- scientific article; zbMATH DE number 1941683 (Why is no real title available?)
- scientific article; zbMATH DE number 7599931 (Why is no real title available?)
- Normality operators and classical collapse
- On normalizing disjunctive intermediate logics
- scientific article; zbMATH DE number 3323814 (Why is no real title available?)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Normalisation for some infectious logics and their relatives
- Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
- Unified natural deduction for logics of strong negation
- Normalization and cut-elimination theorems for some logics of evidence and truth
- Unified Gentzen approach to connexive logics over Wansing's C
- A unified Gentzen-style framework for until-free LTL
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
This page was built for publication: Normalisation for some quite interesting many-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013635)
