scientific article; zbMATH DE number 2051680
From MaRDI portal
Publication:4453706
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
Cited in
(15)- scientific article; zbMATH DE number 3316015 (Why is no real title available?)
- Focused and Synthetic Nested Sequents
- 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
- Many-valued logics in the Iberian peninsula
- Metalogic, Schopenhauer and universal logic
- Metasequents and tetravaluations
- How we learned to stop worrying and love tonk
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Expanding the universe of universal logic
- Universal logic as a science of patterns
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Rough sets and 3-valued logics
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)
