Non-deterministic semantics for logics with a consistency operator

Recommendations

scientific article; zbMATH DE number 5997431
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
scientific article; zbMATH DE number 1303442
A constructive semantics for non‐deducibility
Nonmonotonic logics and semantics
Semantics of non-deterministic possibility computation
Non-deterministic semantics for dynamic topological logic
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Sequential reflexive logics with noncontingency operator
Quantifier-free logic for nondeterministic theories

Cites work

scientific article; zbMATH DE number 1735924 (Why is no real title available?)
scientific article; zbMATH DE number 1992764 (Why is no real title available?)
scientific article; zbMATH DE number 2019859 (Why is no real title available?)
scientific article; zbMATH DE number 1463147 (Why is no real title available?)
scientific article; zbMATH DE number 1765698 (Why is no real title available?)
scientific article; zbMATH DE number 777292 (Why is no real title available?)
scientific article; zbMATH DE number 2196614 (Why is no real title available?)
scientific article; zbMATH DE number 2209330 (Why is no real title available?)
Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
Logics of formal inconsistency
Multi-valued Calculi for Logics Based on Non-determinism
Non-deterministic Multiple-valued Structures
On the theory of inconsistent formal systems
Tableaux for many-valued logics

Cited in

(34)

Possible-translations semantics for some weak classically-based paraconsistent logics
scientific article; zbMATH DE number 1354147 (Why is no real title available?)
On polynomial semantics for propositional logics
Paraconsistency and the need for infinite semantics
Two decision procedures for da Costa's $C_n$ Logics based on restricted Nmatrix semantics
Multi-valued semantics: why and how
Translating non-classical logics into classical logic by using hidden variables
scientific article; zbMATH DE number 3856389 (Why is no real title available?)
Non-deterministic semantics in polynomial format
Validity, dialetheism and self-reference
A model-theoretic analysis of Fidel-structures for mbC
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
Defining LFIs and LFUs in extensions of infectious logics
A family of genuine and non-algebraisable C-systems
From Inconsistency to Incompatibility
Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
A constructive semantics for non‐deducibility
On Axioms and Rexpansions
The method of polynomial ring calculus and its potentialities
scientific article; zbMATH DE number 1748588 (Why is no real title available?)
Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
Credal Calculi, Evidence, and Consistency
Sequent-type rejection systems for finite-valued non-deterministic logics
Efficient reasoning with inconsistent information using C-systems
Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
scientific article; zbMATH DE number 5244180 (Why is no real title available?)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tableau systems for some Ivlev-like (quantified) modal logics
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Semantics for conditional literals via the SM operator
scientific article; zbMATH DE number 2019865 (Why is no real title available?)
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
On combined connectives
Maximal and premaximal paraconsistency in the framework of three-valued semantics

This page was built for publication: Non-deterministic semantics for logics with a consistency operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997049)