๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Literal-paraconsistent and literal-paracomplete matrices

โœ Scribed by Renato A. Lewin; Irene F. Mikenberg


Publisher
John Wiley and Sons
Year
2006
Tongue
English
Weight
202 KB
Volume
52
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


Abstract

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail several relevant examples. (ยฉ 2006 WILEYโ€VCH Verlag GmbH & Co. KGaA, Weinheim)


๐Ÿ“œ SIMILAR VOLUMES


First order theory for literal-paraconsi
โœ Renato A. Lewin; Irene F. Mikenberg ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 111 KB

## Abstract In this paper a first order theory for the logics defined through literal paraconsistentโ€paracomplete matrices is developed. These logics are intended to model situations in which the ground level information may be contradictory or incomplete, but it is treated within a classical frame

Algebraization of logics defined by lite
โœ Eduardo Hirsh; Renato A. Lewin ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 165 KB

## Abstract We study the algebraizability of the logics constructed using literalโ€paraconsistent and literalโ€paracomplete matrices described by Lewin and Mikenberg in [11], proving that they are all algebraizable in the sense of Blok and Pigozzi in [3] but not finitely algebraizable. A characteriza

Understanding and literal meaning
โœ Raymond W. Gibbs Jr. ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Wiley (Blackwell Publishing) ๐ŸŒ English โš– 647 KB
Beyond the literal: Metaphors and why th
โœ Alexis Kaminsky ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 713 KB

## Abstract As our language of evaluation changes, so do the metaphors we use to describe our work. In this chapter, the author discusses how examining metaphors in language of individuals and groups offers insight into how people frame and resolve problems.

The liter and the cubic decimeter
โœ G.F.S. ๐Ÿ“‚ Article ๐Ÿ“… 1928 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 37 KB

The Liter and the Cubic Decimeter. H