Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
From MaRDI portal
Publication:3226747
DOI10.1002/malq.19550010402zbMath0066.25604OpenAlexW2007325469MaRDI QIDQ3226747
Publication date: 1955
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19550010402
Related Items (15)
Natural 3-valued logics—characterization and proof theory ⋮ Distributive-lattice semantics of sequent calculi with structural rules ⋮ 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 ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ MUltlog 1.0: Towards an expert system for many-valued logics ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ On partial and paraconsistent logics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ Pure three-valued Łukasiewiczian implication ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
This page was built for publication: Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
