Tree-like proof systems for finitely-many valued non-deterministic consequence relations
From MaRDI portal
Publication:2228348
DOI10.1007/S11787-020-00263-0zbMATH Open1472.03023OpenAlexW3093083956MaRDI QIDQ2228348FDOQ2228348
Recommendations
- On poly-logistic natural-deduction for finitely-valued propositional logics
- Proof search and co-NP completeness for many-valued logics
- Finitely many-valued logics and natural deduction
- Proof theory for locally finite many-valued logics: semi-projective logics
- scientific article; zbMATH DE number 446843
Cites Work
- scientific article; zbMATH DE number 5959536 (Why is no real title available?)
- scientific article; zbMATH DE number 1303449 (Why is no real title available?)
- scientific article; zbMATH DE number 1735919 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 2213620 (Why is no real title available?)
- scientific article; zbMATH DE number 4187771 (Why is no real title available?)
- scientific article; zbMATH DE number 3032489 (Why is no real title available?)
- A semantical analysis of the calculi \(C_n\)
- An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
- An introduction to non-classical logic. From if to is
- Axiomatic theories of truth
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Dugundji's theorem revisited
- Finite non-deterministic semantics for some modal systems
- MUltlog 1.0: towards an expert system for many-valued logics
- Many-valued logic of informal provability: a non-deterministic strategy
- Modal semantics without possible worlds
- Multi-valued Calculi for Logics Based on Non-determinism
- Non-deterministic Multiple-valued Structures
- Outline of a Theory of Truth
- Proof systems for BAT consequence relations
- Quasi-truth-functional systems of propositional logic
- Systematization of finite many-valued logics through the method of tableaux
- The method of polynomial ring calculus and its potentialities
Cited In (8)
- On poly-logistic natural-deduction for finitely-valued propositional logics
- Finitely many-valued logics and natural deduction
- Analytic tableaux for non-deterministic semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Tableau systems for some Ivlev-like (quantified) modal logics
- Title not available (Why is no real title available?)
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Title not available (Why is no real title available?)
Uses Software
This page was built for publication: Tree-like proof systems for finitely-many valued non-deterministic consequence relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228348)
