scientific article; zbMATH DE number 1765698
From MaRDI portal
Publication:4539639
zbMATH Open0988.03011MaRDI QIDQ4539639FDOQ4539639
Authors: Arnon Avron, Iddo Lev 
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830529
Title of this publication is not available (Why is that?)
Recommendations
- Cut-elimination and quantification in canonical systems
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
- Canonical calculi with (n,k)-ary quantifiers
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (55)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- The logicality of equality
- Tableau systems for some Ivlev-like (quantified) modal logics
- Non-deterministic logic of generalized classical truth values
- On non-deterministic functional completeness
- Quasi-canonical systems and their semantics
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Canonical signed calculi with multi-ary quantifiers
- Processing Information from a Set of Sources
- Paraconsistency and the need for infinite semantics
- On constructive connectives and systems
- From Inconsistency to Incompatibility
- Informational semantics, non-deterministic matrices and feasible deduction
- Gentzen-like systems for partial propositional calculi. I. II
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
- Semantics and proof-theory of depth bounded Boolean logics
- Non-transitive correspondence analysis
- A novel approach to equality
- On all strong Kleene generalizations of classical logic
- A non-deterministic view on non-classical negations
- Cut-elimination and quantification in canonical systems
- A model-theoretic analysis of Fidel-structures for mbC
- Non-deterministic semantics for logics with a consistency operator
- Analytic tableaux for non-deterministic semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Mathematical Foundations of Computer Science 2005
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Proof systems for reasoning about computation errors
- On negation: Pure local rules
- Logical multilateralism
- Three-valued logic for reasoning about covering-based rough sets
- An informational view of classical logic
- Canonical constructive systems
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- Cut elimination for shallow modal logics
- Hypersequent rules with restricted contexts for propositional modal logics
- Swap structures semantics for Ivlev-like modal logics
- Finite non-deterministic semantics for some modal systems
- Kripke Semantics for Basic Sequent Systems
- Strict canonical constructive systems
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Cut elimination in coalgebraic logics
- Weakly Free Multialgebras
- What is a logic translation?
- Towards a semantic characterization of cut-elimination
- Sufficient conditions for cut elimination with complexity analysis
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- Non-deterministic logic of informal provability has no finite characterization
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Finite-valued semantics for canonical labelled calculi
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- An Analytic Propositional Proof System on Graphs
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539639)
