Cut-free sequent calculi for C-systems with generalized finite-valued semantics
DOI10.1093/LOGCOM/EXS039zbMATH Open1267.03032OpenAlexW2155776066MaRDI QIDQ5300580FDOQ5300580
Anna Zamansky, Arnon Avron, Beata Konikowska
Publication date: 27 June 2013
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exs039
automated deductionmany-valued logicparaconsistent logicsequent calculiproof systemsnon-deterministic semantics
Many-valued logic (03B50) Paraconsistent logics (03B53) Mechanization of proofs and logical operations (03B35)
Cited In (19)
- Quasi-canonical systems and their semantics
- Negative modalities, consistency and determinedness
- Paraconsistency and the need for infinite semantics
- Non-transitive correspondence analysis
- Four-valued paradefinite logics
- A family of genuine and non-algebraisable C-systems
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Correspondence analysis and automated proof-searching for first degree entailment
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- Cut technique in valued relational systems: Mainsprings and applications
- Taming Paraconsistent (and Other) Logics
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Monadicity of non-deterministic logical matrices is undecidable
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- On Axioms and Rexpansions
- Finite-valued semantics for canonical labelled calculi
- Three-Valued Paraconsistent Propositional Logics
- Efficient reasoning with inconsistent information using C-systems
- Tools for the Investigation of Substructural and Paraconsistent Logics
This page was built for publication: Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300580)
