scientific article
From MaRDI portal
Publication:3285631
zbMATH Open0102.24704MaRDI QIDQ3285631FDOQ3285631
Publication date: 1960
Title of this publication is not available (Why is that?)
Cited In (50)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
- Logical foundations for programming semantics
- Syntactical and semantical properties of simple type theory
- Tutorial on Inconsistency-Adaptive Logics
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Deduction chains for common knowledge
- Levels of truth
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Resolution on formula-trees
- Notation systems for infinitary derivations
- On Blass translation for Leśniewski's propositional ontology and modal logics
- Proof theory and ordinal analysis
- Completeness proofs for propositional logic with polynomial-time connectives
- Gentzen reduction revisited
- Is cut-free logic fit for unrestricted abstraction?
- An ordinal analysis of stability
- Structured algebraic specifications: A kernel language
- Nice embedding in classical logic
- Annotated Natural Deduction for Adaptive Reasoning
- The Truth of Proof: A Hegelian Perspective on Constructivism
- Ordinal bounds for κ-consistency
- The ω-consistency of number theory via Herbrand's theorem
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Systems of predicative analysis
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
- Many-valued modalities and paraconsistency
- Iterated reflection principles and the ω-rule
- Two, Many, and Differently Many
- Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie
- Sequent systems for negative modalities
- Proof-theoretical analysis: Weak systems of functions and classes
- … and so on: Schütte on Naming Ordinals
- Herbrand analyses
- Uniform Gentzen systems
- Ordinals connected with formal theories for transfinitely iterated inductive definitions
- Sufficient conditions for cut elimination with complexity analysis
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Toward useful type-free theories. I
- Extensional interpretations of modal logics
- A procedural criterion for final derivability in inconsistency-adaptive logics
- A systematic study of models of abstract data types
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
- The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- A survey of proof theory
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
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 Q3285631)
