𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic Tableaux for A Logic With Identity

✍ Scribed by Ermanno Bencivenga

Publisher
John Wiley and Sons
Year
1981
Tongue
English
Weight
501 KB
Volume
27
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LO
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
✍ Barbara Klunder; B. Klunder πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 510 KB

## Abstract The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos Ο΅ we can distinguish an object Ξ› and its truth‐arrows such that sets Ο΅(__A__, Ξ›) (for any object __A__) have a Nelson algebra structure. The obje

A secondary semantics for Second Order I
A secondary semantics for Second Order Intuitionistic Propositional Logic
✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 159 KB

## Abstract In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a s

Interpretation of a basic hypergeometric
Interpretation of a basic hypergeometric identity with Lie characters and Young tableaux
✍ Robert A. Procter; David C. Wilson πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 322 KB

A combinatorial interpretation involving semistandard tableaux is provided for a four parameter terminating sum identity for the basic hypergeometric series 6q~5. This identity is first produced by taking the principal specialization of a tensor product identity for two GL(n) characters.

A linear operator for symmetric function
A linear operator for symmetric functions and tableaux in a strip with given trace
✍ I.P. Goulden πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 442 KB

Goulden, I.P., A linear operator for symmetric functions and tableaux in a strip with given trace, Discrete Mathematics 99 (1992) 69-77. The sum of Schur symmetric functions in a countable set of variables, over partitions with given trace and upper bound on the number of parts, is evaluated. This