The following pages link to On the unity of logic (Q685059):
Displaying 44 items.
- Static typing for a substructural lambda calculus (Q352080) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- A focused approach to combining logics (Q639671) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- On the linear decoration of intuitionistic derivations (Q1345901) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- A linear logical framework (Q1400718) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- From the universality of mathematical truth to the interoperability of proof systems (Q2104491) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Cut elimination for the unified logic (Q2367410) (← links)
- On the unity of duality (Q2482843) (← links)
- Rewritings for Polarized Multiplicative and Exponential Proof Structures (Q2870318) (← links)
- Structural Focalization (Q2946730) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- Propositional mixed logic: its syntax and semantics (Q3643261) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- (Q5015209) (← links)
- (Q5119390) (← links)
- (Q5155672) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- On the semantics of classical disjunction (Q5939825) (← links)
- Subtractive logic (Q5940919) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
