REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
From MaRDI portal
(Redirected from Publication:5381035)
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
Cites work
- \(\mathbf{RM}\) and its nice properties
- A calculus of antinomics
- A propositional calculus with denumerable matrix
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- Logics of formal inconsistency
- Logics preserving degrees of truth from varieties of residuated lattices
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Metamathematics of fuzzy logic
- Modular construction of cut-free sequent calculi for paraconsistent logics
- Non-deterministic Multiple-valued Structures
- Non-deterministic semantics for logics with a consistency operator
- On an implication connective of RM
- On negation: Pure local rules
- On notation for ordinal numbers
- On the theory of inconsistent formal systems
- Paraconsistency properties in degree-preserving fuzzy logics
- Studying sequent systems via non-deterministic multiple-valued matrices
- The logic of paradox
- The value of the four values
- Three-valued paraconsistent propositional logics
Cited in
(12)- Computational properties of partial non-deterministic matrices and their logics
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- On Axioms and Rexpansions
- Comments on the Papers
- scientific article; zbMATH DE number 5252383 (Why is no real title available?)
- Conservative expansions of substructural logics
- On non-deterministic functional completeness
- Tableau systems for some Ivlev-like (quantified) modal logics
- Monadicity of non-deterministic logical matrices is undecidable
- A modal axiomatization of \(\mathbf{BK}\)
- Some more theorems on structural entailment relations and non-deterministic semantics
- Meet-combination of consequence systems
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)
