Multi-valued Calculi for Logics Based on Non-determinism

DOI10.1093/jigpal/jzi030zbMath1080.03007OpenAlexW1985861536MaRDI QIDQ5703736

Beata Konikowska, Arnon Avron

Publication date: 8 November 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi030

zbMATH Keywords

deduction systemsnondeterministic matricestableaux systems\(n\)-sequentsR-S systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (33)

A Note on Calculi for Non-deterministic Many-valued Logics ⋮ Analytic tableaux for non-deterministic semantics ⋮ Proof search on bilateralist judgments over non-deterministic semantics ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Four-valued paradefinite logics ⋮ Two, Many, and Differently Many ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Quasi-canonical systems and their semantics ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Canonical signed calculi with multi-ary quantifiers ⋮ Non-transitive correspondence analysis ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Paranegations and the square of oppositions ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ A Note on Ciuciura’s mbC1 ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ Proof systems for reasoning about computation errors ⋮ Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Possible-translations semantics for some weak classically-based paraconsistent logics ⋮ Swap structures semantics for Ivlev-like modal logics ⋮ Multi-valued semantics: why and how ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Three-Valued Logic for Reasoning about Covering-Based Rough Sets ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ Cut-elimination and quantification in canonical systems

This page was built for publication: Multi-valued Calculi for Logics Based on Non-determinism