scientific article; zbMATH DE number 1765698
From MaRDI portal
Publication:4539639
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
Cited in
(55)- Non-deterministic logic of generalized classical truth values
- On non-deterministic functional completeness
- The logicality of equality
- Tableau systems for some Ivlev-like (quantified) modal logics
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Quasi-canonical systems and their semantics
- Finite-valued semantics for canonical labelled calculi
- Semantics and proof-theory of depth bounded Boolean logics
- Cut elimination in coalgebraic logics
- Analytic tableaux for non-deterministic semantics
- A non-deterministic view on non-classical negations
- Cut-elimination and quantification in canonical systems
- Paraconsistency and the need for infinite semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Hypersequent rules with restricted contexts for propositional modal logics
- Cut elimination for shallow modal logics
- Finite non-deterministic semantics for some modal systems
- Informational semantics, non-deterministic matrices and feasible deduction
- An Analytic Propositional Proof System on Graphs
- On constructive connectives and systems
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
- Swap structures semantics for Ivlev-like modal logics
- Weakly Free Multialgebras
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- A model-theoretic analysis of Fidel-structures for mbC
- Logical multilateralism
- Canonical signed calculi with multi-ary quantifiers
- Non-transitive correspondence analysis
- Mathematical Foundations of Computer Science 2005
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
- Three-valued logic for reasoning about covering-based rough sets
- Processing Information from a Set of Sources
- Kripke Semantics for Basic Sequent Systems
- From Inconsistency to Incompatibility
- What is a logic translation?
- Towards a semantic characterization of cut-elimination
- Non-deterministic semantics for logics with a consistency operator
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- An informational view of classical logic
- Strict canonical constructive systems
- Gentzen-like systems for partial propositional calculi. I. II
- Non-deterministic logic of informal provability has no finite characterization
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- Sufficient conditions for cut elimination with complexity analysis
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- Proof systems for reasoning about computation errors
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- On all strong Kleene generalizations of classical logic
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Canonical constructive systems
- On negation: Pure local rules
- A novel approach to equality
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)
