scientific article; zbMATH DE number 2051680
From MaRDI portal
Publication:4453706
zbMATH Open1043.03009MaRDI QIDQ4453706FDOQ4453706
Publication date: 7 March 2004
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 589741
- scientific article; zbMATH DE number 1670483
- Sequent-systems for modal logic
- Relating sequent calculi for bi-intuitionistic propositional logic
- Sequent calculi and quasivarieties
- Sequent calculi for choice logics
- Sequent calculus for hybrid logic
- Metasequents and tetravaluations
- scientific article; zbMATH DE number 1342255
- Sequent calculus in natural deduction style
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)
Cited In (12)
- Many-Valued Logics in the Iberian Peninsula
- Focused and Synthetic Nested Sequents
- Metalogic, Schopenhauer and Universal Logic
- Lindenbaum-type logical structures
- Linear Nested Sequents, 2-Sequents and Hypersequents
- Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
- Classic-Like Analytic Tableaux for Finite-Valued Logics
- Universal Logic as a Science of Patterns
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Rough sets and 3-valued logics
- Title not available (Why is that?)
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 Q4453706)
