scientific article; zbMATH DE number 3261581

zbMATH Open0163.24209MaRDI QIDQ5547552FDOQ5547552

Authors: Haskell B. Curry 

Publication date: 1963

Title of this publication is not available (Why is that?)

zbMATH Keywords

general logic

Cited In (only showing first 100 items - show all)

• Intensional models for first degree formulas
• Implicative commutative semigroups are equivalent to a class of BCK algebras
• On the proof theory of the modal logic for arithmetic provability
• Variations of the free implicative semilattice extension of a Hilbert algebra
• Lower bounds for increasing complexity of derivations after cut elimination
• Current trends in substructural logics
• Types of I-free hereditary right maximal terms
• Relevant Robinson's arithmetic
• New axiomatics for relevant logics. I
• Conservative extension in relevant implication
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Proof theory for functional modal logic
• Sentential constants in R and \(R^{\neg}\)
• Ternary relations and relevant semantics
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Subtractive logic
• Linearizing intuitionistic implication
• Admissibility of cut in LC with fixed point combinator
• Models for normal intuitionistic modal logics
• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• Structural aspects of semantic-directed clusters
• On the linearK-arboricity of cubic graphs
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• E, R AND γ
• On fuzzy ordered semigroups.
• Four-valued logic
• Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
• Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
• Normalization and excluded middle. I
• From multiple sequent for additive linear logic to decision procedures for free lattices
• Peirce's rule in natural deduction.
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Homomorphisms of implicative semigroups
• Coordination of parallel partially ordered processes
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• The semantics of entailment omega
• Fuzzy power sets and fuzzy implication operators
• On a generalized cylindrical algebra and intuitionistic logic
• Positive modal logic
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• A survey of state vectors
• Sentence, proposition and identity
• A Brief History of Natural Deduction
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• Implementing the `Fool's model' of combinatory logic
• Gentzenizations of relevant logics without distribution. I
• On matrix equations in a class of complete and completely distributive lattices
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• The decidability of the intensional fragment of classical linear logic
• Bi-Heyting algebras, toposes and modalities
• Hypersequent calculi for intuitionistic logic with classical atoms
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra
• On ordered filters of implicative semigroups
• Netl and subsequent path-based inheritance theories
• Kripke models for linear logic
• Negative equivalence of extensions of minimal logic
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Sequent-systems for modal logic
• What is a non-truth-functional logic?
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• On cut elimination in the presence of perice rule
• Noncumulative dialectical models and formal dialectics
• On sequence-conclusion natural deduction systems
• Dialogues, strategies, and intuitionistic provability
• A survey of nonstandard sequent calculi
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• The revival of rejective negation
• Bounds for cut elimination in intuitionistic propositional logic
• L-ALMOST DISTRIBUTIVE LATTICES
• A propositional fragment of Lesniewski's ontology
• Relational semantics for Kleene logic and action logic
• A Remark on the Intersection of Tow Logics
• On the decidability of implicational ticket entailment
• On the proof theory of the intermediate logic MH
• On filters of implicative semilattices
• On the algebra of classes of formulae of Jaskowski's discussive system
• The Lesniewski-Curry theory of syntactical categories and the categorially open functors
• Consistency proofs for applied mathematics
• Consistency proof without transfinite induction for a formal system for turing machines
• On relative principal congruences in term quasivarieties
• Maehara-style modal nested calculi
• Rejection: a historico-epistemological view
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Relevant analytic tableaux
• On logical systems with implications and theories of algebras
• Title not available (Why is that?)
• On the fundamental role of `means that' in semantic theorizing
• Strategic maneuvering in mathematical proofs
• Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
• On meaningfulness and truth
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Variants of the basic calculus of constructions
• \(\supset\)E is admissible in ``true relevant arithmetic
• Notes on the theory of variable binding term operators
• Uni-soft structure applied to ordered semigroups
• Hypersequent calculi for S5: the methods of cut elimination
• Separability of normalizable superintuitionistic propositional logics
• An alternative normalization of the implicative fragment of classical logic

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 Q5547552)