On the unity of logic
From MaRDI portal
Publication:685059
DOI10.1016/0168-0072(93)90093-SzbMath0781.03044OpenAlexW2144747140MaRDI QIDQ685059
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(93)90093-s
Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Classical logic, storage operators and second-order lambda-calculus, Linear Logic Properly Displayed, Cut elimination for the unified logic, Semantics of weakening and contraction, The Logic of Bunched Implications, On the linear decoration of intuitionistic derivations, A pure view of ecumenical modalities, Petri nets, Horn programs, linear logic and vector games, Static typing for a substructural lambda calculus, Multimodal linguistic inference, Information completeness in Nelson algebras of rough sets induced by quasiorders, Structural Focalization, A general adequacy result for a linear functional language, An ecumenical notion of entailment, A new framework for declarative programming, A linear logical framework, LNL polycategories and doctrines of linear logic, Hypersequent calculi for intuitionistic logic with classical atoms, A focused approach to combining logics, Unnamed Item, Unnamed Item, A linear/producer/consumer model of classical linear logic, Kripke semantics for the logic of problems and propositions, Forum: A multiple-conclusion specification logic, A new deconstructive logic: linear logic, Multi-focused proofs with different polarity assignments, Categories for computation in context and unified logic, On the unity of duality, On the semantics of classical disjunction, Subtractive logic, Proof theory in the abstract, The multiplicative-additive Lambek calculus with subexponential and bracket modalities, Least and Greatest Fixed Points in Linear Logic, Unnamed Item, Propositional mixed logic: its syntax and semantics, On the unification of classical, intuitionistic and affine logics, On the algebraic structure of declarative programming languages, Focusing and polarization in linear, intuitionistic, and classical logics, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory, Unnamed Item, Structural cut elimination. I: Intuitionistic and classical logic, A sequent calculus for subtyping polymorphic types, From the universality of mathematical truth to the interoperability of proof systems, Rewritings for Polarized Multiplicative and Exponential Proof Structures, The practice of logical frameworks
Cites Work
