REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
From MaRDI portal
Publication:5381035
DOI10.1017/S1755020318000321OpenAlexW2898497052WikidataQ129036306 ScholiaQ129036306MaRDI QIDQ5381035FDOQ5381035
Authors: Arnon Avron, Yoni Zohar 
Publication date: 7 June 2019
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020318000321
Recommendations
- Computational properties of partial non-deterministic matrices and their logics
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
- Non-classical modifications of many-valued matrices of the classical propositional logic. II
- \(n\)-valued matrices for the classical propositional logic
- On noncommutative extensions of linear logic
- scientific article; zbMATH DE number 1361537
- Non-classical modifications of many-valued matrices of the classical propositional logic. I.
- A note on matrices for systems of nonsense-logics
- scientific article; zbMATH DE number 5252383
Other nonclassical logic (03B60) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)
Cites Work
- The logic of paradox
- Metamathematics of fuzzy logic
- On the theory of inconsistent formal systems
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- On negation: Pure local rules
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
- Title not available (Why is that?)
- Logics of formal inconsistency
- Non-deterministic Multiple-valued Structures
- On notation for ordinal numbers
- Non-deterministic semantics for logics with a consistency operator
- The value of the four values
- Logics preserving degrees of truth from varieties of residuated lattices
- Title not available (Why is that?)
- Paraconsistency properties in degree-preserving fuzzy logics
- Handbook of philosophical logic. Vol. 6
- A calculus of antinomics
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- On an implication connective of RM
- Three-Valued Paraconsistent Propositional Logics
- $$\mathbf {RM}$$ RM and its Nice Properties
- Title not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Computational properties of partial non-deterministic matrices and their logics
- Tableau systems for some Ivlev-like (quantified) modal logics
- Comments on the Papers
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- On non-deterministic functional completeness
- Monadicity of non-deterministic logical matrices is undecidable
- On Axioms and Rexpansions
This page was built for publication: REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5381035)
