On the theory of inconsistent formal systems
From MaRDI portal
Publication:2552121
DOI10.1305/ndjfl/1093891487zbMath0236.02022OpenAlexW2142616542MaRDI QIDQ2552121
Publication date: 1974
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891487
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)
Related Items
К вопросу о критерии паранепротиворечивости логик, О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS, PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES, Lindenbaum-type logical structures, Two, Many, and Differently Many, Negative Modalities in the Light of Paraconsistency, Identifying logical evidence, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, Does logical pluralism imply, or suggest, truth pluralism, or vice versa?, A note on the ontology of mathematics, A postulate-driven study of logical argumentation, REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS, Unnamed Item, Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency, From Paraconsistent Logic to Dialetheic Logic, On the Methodology of Paraconsistent Logic, Why Paraconsistent Logics?, A Survey of Annotated Logics, Handling inconsistency in knowledge systems, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES, A simple signed system for paraconsistent reasoning, Three-Valued Paraconsistent Propositional Logics, Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics, Some Adaptive Contributions to Logics of Formal Inconsistency, Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗, On recent applications of paraconsistent logic: an exploratory literature review, REMARKS ON NAIVE SET THEORY BASED ONLP, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), Paraconsistent logic, Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\), Routley star and hyperintensionality, Generalized correspondence analysis for three-valued logics, Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers, Pecularities of some three- and four-valued second order logics, Nice embedding in classical logic, The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism, Natural 3-valued logics—characterization and proof theory, Automated Support for the Investigation of Paraconsistent and Other Logics, Game Theoretical Semantics for Paraconsistent Logics, Relevant logic as a basis for paraconsistent epistemic logics, A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information, Analysing inconsistent first-order knowledgebases, Paraconsistency properties in degree-preserving fuzzy logics, Relevance and paraconsistency—a new approach, ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, Taming Paraconsistent (and Other) Logics, Self-extensional three-valued paraconsistent logics, Game theoretical semantics for some non-classical logics, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Four-valued paradefinite logics, A new formulation of discussive logic, Paraconsistency and word puzzles, Logical argumentation by dynamic proof systems, Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks, Proof theory and mathematical meaning of paraconsistent C-systems, The normal and self-extensional extension of Dunn-Belnap logic, First-order da Costa logic, How Dirty Is Your Relational Database? An Axiomatic Approach, Revisiting \(\mathbb Z\), Paraconsistency in classical logic, Paraconsistency and Sette’s calculus P1, On the Propagation of Consistency in Some Systems of Paraconsistent Logic, Some topological properties of paraconsistent models, Structures and logics: a case for (a) relativism, Paraconsistent disjunctive deductive databases, Classical negation and expansions of Belnap-Dunn logic, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Looting Liars Masking Models, Variations on the Collapsing Lemma, Paraconsistent orbits of logics, Deductive argumentation by enhanced sequent calculi and dynamic derivations, Kripke-type semantics for \(\mathrm{CG}_3'\), Probabilities with gaps and gluts, There is more to negation than modality, Partial and paraconsistent approaches to future contingents in tense logic, New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency, An adaptive logic for relevant classical deduction, A reasoning method for a paraconsistent logic, A Logic for Ambiguous Description, Efficient reasoning with inconsistent information using C-systems, Restricted semantics for default reasoning, Is there a zande logic?, A dissimilarity-based framework for generating inconsistency-tolerant logics, Paraconsistency and plausible argumentation in generative grammar: A case study, Equivalence for the \(G_3^\prime\)-stable models semantics, Maximality and refutability, Distance-based paraconsistent logics, On extensions of triangular norms on bounded lattices, Paraconsistent informational logic, Combining classical logic, paraconsistency and relevance, Anti-intuitionism and paraconsistency, In Defence of Dialetheism: A Reply to Beziau and Tkaczyk, Non-deterministic semantics for logics with a consistency operator, A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\), DLEAC: a dialetheic logic with exclusive assumptions and conclusions, Rough sets and 3-valued logics, A single proof of classical behaviour in da Costa's \(C_n\) systems, Computational Aspects of Quasi-Classical Entailment, On Theorem Proving in Annotated Logics, Pavel Florensky's theory of religious antinomies, Multi-agent Systems and Paraconsistent Knowledge, Paraconsistent logic programming, Nothingness, Meinongianism and inconsistent mereology, An epistemic approach to paraconsistency: a logic of evidence and truth, Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases, Algebraic Valuations as Behavioral Logical Matrices, The value of the four values, Reasoning with different levels of uncertainty, Brief study of G'3 logic, XIV Latin American Symposium on Mathematical Logic (SLALM), Proof theory of Nelson's paraconsistent logic: a uniform perspective, Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω, Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework, Autoreferential semantics for many-valued modal logics, Behavioral algebraization of da Costa's C-systems, Paraconsistency and the need for infinite semantics, The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable, Valuation semantics for first-order logics of evidence and truth, First-order logics of evidence and truth with constant and variable domains, A family of genuine and non-algebraisable C-systems, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE, On the system CB1 and a lattice of the paraconsistent calculi, Some definitions of negation leading to paraconsistent logics, Paraconsistent Logical Consequence, Paraconsistent logic and model theory, Policy-based inconsistency management in relational databases
