scientific article; zbMATH DE number 3275554
From MaRDI portal
Publication:5559220
zbMath0173.00205MaRDI QIDQ5559220
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
LF+ in Coq for "fast and loose" reasoning ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ From petri nets to linear logic ⋮ Intuitive counterexamples for constructive fallacies ⋮ RIGOUR AND PROOF ⋮ Negative predication and distinctness ⋮ Identity and harmony and modality ⋮ On feasible numbers ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ An ecumenical notion of entailment ⋮ When programs have to watch paint dry ⋮ A dialogical route to logical pluralism ⋮ Combinatorial flows as bicolored atomic flows ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ Varieties of Relevant S5 ⋮ Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts ⋮ Proof Compression and NP Versus PSPACE II: Addendum ⋮ Stateful Realizers for Nonstandard Analysis ⋮ Adding Negation to Lambda Mu ⋮ Logical multilateralism ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ The elimination of maximum cuts in linear logic and BCK logic ⋮ A Sequent Systems without Improper Derivations ⋮ Linearity and uniqueness: an entente cordiale ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ WHAT IS A RULE OF INFERENCE? ⋮ A Classification of Improper Inference Rules ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Core Type Theory ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Bilateral Rules as Complex Rules ⋮ Harmony and Normalisation in Bilateral Logic ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Deductive Completeness ⋮ Unnamed Item ⋮ Proof Compression and NP Versus PSPACE II ⋮ BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS ⋮ Proof Terms for Generalized Natural Deduction ⋮ Interpreting descriptions in intensional type theory ⋮ Peirce's Rule in a Full Natural Deduction System ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Local Models Semantics, or contextual reasoning = locality + compatibility ⋮ E, R AND γ ⋮ Unnamed Item ⋮ A phase semantics for polarized linear logic and second order conservativity ⋮ Investigations into proof-search in a system of first-order dependent function types ⋮ Presenting intuitive deductions via symmetric simplification ⋮ Unnamed Item ⋮ Intrinsic reasoning about functional programs. I: First order theories ⋮ Normal forms and syntactic completeness proofs for functional independencies ⋮ On the proof theory of Coquand's calculus of constructions ⋮ An expressivist strategy to understand logical forms ⋮ Canonicity of proofs in constructive modal logic ⋮ Proof-theoretic semantics for intuitionistic multiplicative linear logic ⋮ The Cantor–Bernstein theorem: how many proofs? ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ A natural deduction calculus for \textbf{S4.2} ⋮ Which `intensional paradoxes' are paradoxes? ⋮ Proof-theoretic semantics: an autobiographical survey ⋮ Frege's class theory and the logic of sets ⋮ The validity of inference and argument ⋮ Disjunctive syllogism without \textit{ex falso} ⋮ Eight rules for implication elimination ⋮ Intensional harmony as isomorphism ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Prawitz, Proofs, and Meaning ⋮ Inferential Semantics ⋮ Cut Elimination, Substitution and Normalisation ⋮ Inversion Principles and Introduction Rules ⋮ Meaning in Use ⋮ On Constructive Fragments of Classical Logic ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Unnamed Item ⋮ Normalized natural deduction systems for some relevant logics I: The logic DW ⋮ Completeness and Herbrand theorems for nominal logic ⋮ A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation ⋮ Proof-Theoretic Semantics and Feasibility ⋮ Relevance Logic as a Conservative Extension of Classical Logic ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation ⋮ On the Structure of Natural Deduction Derivations for “Generally” ⋮ Type Theories from Barendregt’s Cube for Theorem Provers ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited ⋮ Unnamed Item ⋮ Truth and Proof in Intuitionism ⋮ Constructive Modalities with Provability Smack ⋮ Emptiness and Discharge in Sequent Calculus and Natural Deduction ⋮ CUT FOR CLASSICAL CORE LOGIC ⋮ Neo-Logicism and Its Logic ⋮ Isomorphism of intersection and union types ⋮ A note on existential instantiation ⋮ CATEGORICAL HARMONY AND PATH INDUCTION ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams ⋮ Formal metatheory of the lambda calculus using Stoughton's substitution
This page was built for publication:
