Sequents in many valued logic I
From MaRDI portal
Publication:5534913
DOI10.4064/fm-60-1-23-33zbMath0154.25504OpenAlexW4249259371MaRDI QIDQ5534913
No author found.
Publication date: 1968
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213968
Related Items
A Note on Calculi for Non-deterministic Many-valued Logics, Analytic tableaux for non-deterministic semantics, A Gentzen calculus for nothing but the truth, Natural deduction for Post's logics and their duals, On finite-valued propositional logical calculi, On Gentzen relations associated with finite-valued logics preserving degrees of truth, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra, Many-place sequent calculi for finitely-valued logics, Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach, Sequent-type rejection systems for finite-valued non-deterministic logics, Canonical signed calculi with multi-ary quantifiers, Representations of structural closure operators, Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation, Interpolation theorem in many-valued logics with designated values, Formal axiomatic theories based on a three-valued logic, MUltlog 1.0: Towards an expert system for many-valued logics, Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices, Speech acts, categoricity, and the meanings of logical connectives, Hypersequent and display calculi -- a unified perspective, A survey of nonstandard sequent calculi, On partial and paraconsistent logics, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination, Calculi for many-valued logics, Optimal axiomatizations of finitely valued logics, Programs and logics, Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\), The logics of strict-tolerant logic
