𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Isomorphic formulae in classical propositional logic

✍ Scribed by Kosta Došen; Zoran Petrić

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
170 KB
Volume
58
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.

📜 SIMILAR VOLUMES

Dempster-shafer approach in propositiona
Dempster-shafer approach in propositional logic
✍ Qing Zhu; E. S. Lee 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 357 KB

A general framework of uncertainty reasoning based on Dempster-Shafer's theory is proposed in the context of logic calculus. Under this framework, any inference can be conducted without much computational complexity. Furthermore, it avoids the problems of considering conflicting information and comm

Fixed points in the propositional nonmon
Fixed points in the propositional nonmonotonic logic
✍ Grigory F. Shvarts 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 317 KB

We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyle's original paper.

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

Conjunction analysis and propositional l
Conjunction analysis and propositional logic in fMRI data analysis using Bayesian statistics
✍ Thomas Rudert; Gabriele Lohmann 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB

## Abstract ## Purpose To evaluate logical expressions over different effects in data analyses using the general linear model (GLM) and to evaluate logical expressions over different posterior probability maps (PPMs). ## Materials and Methods In functional magnetic resonance imaging (fMRI) data