Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
From MaRDI portal
Publication:3226747
DOI10.1002/MALQ.19550010402zbMATH Open0066.25604OpenAlexW2007325469MaRDI QIDQ3226747FDOQ3226747
Authors: K. Schröter 
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
Cited In (15)
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
- Speech acts, categoricity, and the meanings of logical connectives
- Natural 3-valued logics—characterization and proof theory
- On partial and paraconsistent logics
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
- MUltlog 1.0: towards an expert system for many-valued logics
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- Distributive-lattice semantics of sequent calculi with structural rules
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Many-place sequent calculi for finitely-valued logics
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- Pure three-valued Łukasiewiczian implication
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
This page was built for publication: Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3226747)
