Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.
Läßt man in dem \textit{Heyting}schen Axiomensystem des intuitionistischen Aussagenkalküls (S. B. Preuß. Akad. Wiss. Phys.-math. Kl. 1930, 42-56; JFM 56.0823.*) das Axiom \(\neg a\supset (a\supset b)\), das vielleicht angreifbar erscheinen könnte, fort, so erhält man ein System, das Verf. ``Minimalkalkül nennt. Die meisten Sätze der intuitionistischen Aussagenlogik bleiben erhalten, außer z. B.: \(a\vee b\supset(\neg a\supset b)\) und \(\neg\neg(\neg\neg a\supset a)\). Für viele der wegfallenden Sätze behalten jedoch die zugehörigen Schlußregeln ihre Gültigkeit. Verf. untersucht dann eingehend die Ersetzung der Negation durch die widerspruchsvolle Aussage \(\curlywedge\), die durch ``\(\neg a\wedge\neg\neg a\) erklärt wird. Zum Schluß wird eine Verbindung mit der Arbeit von \textit{G. Gentzen} (Math. Z. 39 (1934), 176-210, 405-431; JFM 60.0020.*; 60\(_{\text{II}}\), 846) hergestellt.
- Pretabularity and Craig's interpolation problem over the minimal logic
- Simple tableaus for simple intuitionistic logics
- Attack principles in sequent-based argumentation theory
- Minimal modal logics, constructive modal logics and their relations
- Strong negation in the theory of computable functionals TCF
- Conservation as translation
- Hilbert's tenth problem for term algebras with a substitution operator
- Algorithmically random series
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
- Continua of logics related to intuitionistic and minimal logics
- Disjunctive syllogism: the universal characterization of multiplicative ``or
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
This page was built for publication: Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2610709)
