𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

✍ Scribed by Mojtaba Aghaei; Mohammad Ardeshir

Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
175 KB
Volume
46
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

A comparison between lambek syntactic ca
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
✍ V. Michele Abrusci πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 252 KB

A COMPARISON BETWEEN LAMBEK SYNTACTIC CALCULUS ASD INTUITIONISTIC LINEAR PROPOSITIONAL LOGIC by V. MICHELE ABRUSCI in Bari (Italy) ## 1. Synt,ax Let us consider LAMBEK'S syntactic calculus LSC as formulated in BUSZKOWSKI [ Z ] in an axiomatization very close to GEmZEN's sequential formalism. We d

On the linear Lindenbaum algebra of Basi
On the linear Lindenbaum algebra of Basic Propositional Logic
✍ Majid Alizadeh; Mohammad Ardeshir πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 103 KB πŸ‘ 1 views

## Abstract We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. (Β© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

A topological characterization of consis
A topological characterization of consistency of logic theories in propositional logic
✍ Guo-Jun Wang; Yan-Hong She πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs